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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

(馃Ч) cleanup config file #14432

Merged
merged 1 commit into from Jan 13, 2023
Merged

(馃Ч) cleanup config file #14432

merged 1 commit into from Jan 13, 2023

Conversation

KotlinIsland
Copy link
Contributor

These two options in the config file are redundant.

@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 馃馃帀

JukkaL
JukkaL approved these changes Jan 13, 2023
View changes
Copy link
Collaborator

@JukkaL JukkaL left a comment

Choose a reason for hiding this comment

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

Yeah, these are enabled by default now. Thanks!

@JukkaL JukkaL merged commit 1c5eeb8 into python:master Jan 13, 2023
18 checks passed
@KotlinIsland KotlinIsland deleted the cleanup_config branch January 15, 2023 23:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JukkaL JukkaL

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@KotlinIsland @JukkaL