-
Notifications
You must be signed in to change notification settings - Fork 28
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
show some indication that mypy is running #193
Comments
Thanks for the feature request! We are going to give the community 60 days from when this issue was created to provide 5 👍 upvotes on the opening comment to gauge general interest in this idea. If there's enough upvotes then we will consider this feature request in our future planning. If there's unfortunately not enough upvotes then we will close this issue. |
I don't understand why valid issues can just be closed for not having enough upvotes. Why not just leave it open and mark it as low priority or accepting PRs in case someone else wants to contribute |
@DetachHead because every line of code we accept has a maintenance cost, so we can't afford to accept every feature request that someone may want to give us a PR for. And leaving an issue open forever can make people think we would accept a PR when we actually may not. Asking for votes gives us some form of a signal as to how important something is to the community, especially with a time limit as an issue can collect a lot of upvotes over years but that doesn't mean it's as popular as something that gets more votes in a short amount of time. |
it also would be great with something like Formatting toggle for manually linting. |
Thank you to everyone who upvoted this issue! Since the community showed interest in this feature request we will leave this issue open as something to consider implementing at some point in the future. We do encourage people to continue 👍 the first/opening comment as it helps us prioritize our work based on what the community seems to want the most. |
mypy is extremely slow on windows. it would be nice if there was some sort of indication to show when it's still running, like it does with the formatters:
The text was updated successfully, but these errors were encountered: