Skip to content
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

type of conflicting_files of DiscussionWDetails #1847

Merged

Conversation

ademait
Copy link
Contributor

@ademait ademait commented Nov 20, 2023

Related to #1830

Copy link
Contributor

@Wauplin Wauplin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for your PR @ademait ! For completeness, could you also update the type annotation on this line to Union[List[str], bool, None]. It will help users that have a static type check enabled.

Imported `Union` from `typing`, and checked type annotation of `conflicting_files`
@ademait
Copy link
Contributor Author

ademait commented Nov 22, 2023

Of course! @Wauplin done!

Copy link
Contributor

@Wauplin Wauplin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for making the change @ademait! Looks good now 🎉

@HuggingFaceDocBuilderDev

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint.

@Wauplin
Copy link
Contributor

Wauplin commented Nov 22, 2023

Failing tests are unrelated. I'm merging this now!

@Wauplin
Copy link
Contributor

Wauplin commented Dec 12, 2023

Oops, completely forgot to merge 🙈

@Wauplin Wauplin merged commit 1932bb0 into huggingface:main Dec 12, 2023
11 of 14 checks passed
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.

3 participants