-
-
Notifications
You must be signed in to change notification settings - Fork 2.8k
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
Release 0.750 planning #7947
Comments
On the flip-side, maybe it's better to include both so people don't need to fix it two releases in a row? |
Hm, interesting point. Maybe this makes sense. @JukkaL what do you think? |
OK, after some more thinking, it seems to me breaking it once is probably better, so I am going to merge the other PR now. |
I think it would be good if #7789 could be added to the release. Thank you 👍 |
@isac322 it's already merged in, so it will be included in the release (barring something going wrong). |
Sorry, it doesn't seem like I'm going to be able to get #7169 / a successor to that diff working in time for today's cutoff. I feel I have something that's almost working apart from one or two issues -- but every time I try fixing one of those issues, another one pops up... Best case scenario, I think it'll probably take me somewhere between two days to another week to get everything ironed out and ready for an initial code review? I'm not sure if it's worth delaying 0.750 for this though -- we can always announce tagged unions in the next release. |
OK, we should just not forget it wasn't announced in 0.750 when releasing the next version. Be sure to give the PR a prominent title. |
There were couple delays, the new planned release date is Thursday, November 28. |
The 0.750 release branch is now cut at 2af0ac0. |
OK, the release just went out. |
The next release 0.760 is planned for December 17. Can you wait until then or do you really want a point release sooner? |
Waiting should be fine, thanks. |
I am planning to release mypy v0.750 next Thursday, November 21. The release branch will be cut on Monday, November 18. Please add any PRs you want to be merged/cherry-picked here.
I think we need to land #7921 (I assume there will be also a second part) and also #7169 (or its successor, mostly because it completes the tagged unions).
Also we have two big plugin breakers in flight: #7829 and #7923. I think it is probably best to include only one of them in the release. I am fine with either one (btw I tried the type alias one against internal repos and it caused no problems except for breaking one of the plugins).
The text was updated successfully, but these errors were encountered: