Skip to content

Avoid multiple default config names #7585

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

albertvillanova
Copy link
Member

Fix duplicating default config names.

Currently, when calling push_to_hub(set_default=True with 2 different config names, both are set as default.

Moreover, this will generate an error next time we try to push another default config name, raised by MetadataConfigs.get_default_config_name:

default_config_name = metadata_configs.get_default_config_name()

raise ValueError(
f"Dataset has several default configs: '{default_config_name}' and '{config_name}'."
)

@HuggingFaceDocBuilderDev

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

This reverts commit d19a5bc.
@albertvillanova albertvillanova changed the title Fix duplicating default config names Avoid duplicating default config names May 26, 2025
@albertvillanova albertvillanova changed the title Avoid duplicating default config names Avoid multiple default config names May 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants