I wonder which milestone I should set for PRs I merge (specifically PR #13236).
What is the status of 8.14? When does it close for feature PRs? I guess there is a website which defines the dates ...
As long as the v8.14 branch has not been created, you should use that one (or the 8.13 milestone for the backportable fixes). The timeline hasn't been announced yet (https://github.com/coq/coq/wiki/Release-Plan) but the branching should probably be around the end of May or in June.
The reason why the 8.15 milestone already exist is simply to put longer-term issues.
Thanks !
Last updated: Oct 13 2024 at 01:02 UTC