Get rid of Milestones, add Priority labels instead, and close ideas we'll unlikely work on

[gvanrossum]

We aren't using Milestones effectively, and their presence sets incorrect expectations. We are going to use priority labels instead. I only want three priorities:

• priority-high
• priority-normal
• priority-low
  Having too many choices just encourages bickering about exact priorities -- in practice that's not worth it. Also, for truly "pants on fire" issues we shouldn't use a label but just contact the responsible party directly.

Finally, I also propose to just close (with a friendly "thank you") those issues that suggest a nice idea that we just don't expect to be working on. Closed issues are still searchable, and if somebody wants to work on such an idea they are welcome -- closing an issue is meant to send the signal that it's unlikely to be implemented by the core mypy team, not that we are against it (if we are against an idea we'll make it clear when we close the issue).

[ambv]

I like this. And while explicit is better than implicit, is priority-normal even necessary? No priority label = regular boring weekday nothing-special priority.

[gvanrossum]

I think "no priority" means "untriaged" or "unsure".

Anyway, I've closed all milestones and mapped their issues as follows:

• Questions -> closed the issue or priority-low
• Undetermined priority -> priority-low
• Future -> priority-low
• 0.5 -> priority-normal
  -0.4.x -> priority-high

Now, you may want to go over the priorities and let me know whether you agree with the specific priority set -- priorities are not set in stone or anything, but they indicate that we've triaged an issue. Apart from most of the Questions I've not actually closed issues yet for the stated reason, but I'll close this issue to indicate that the milestones are gone and the priority labels created. (Got any suggestions for better colors though?)

[ambv]

How about:

Low - #fffff8
Normal - #fef2c0 (default pastel yellow)
High - #fbca04 (default bright yellow)

[gvanrossum]

Done. Can you also suggest colors for the sizes?

[gvanrossum]

So here's a first-world problem: I would like the priorities appear in their natural order when alphabetized. I don't care whether low or high comes first, but I want normal to be in the middle. Any suggestion for three words that convey the right idea and sort correctly? (I don't want to go with P0, P1, P2 since "0 is high" is a bit counter-intuitive.