I’d like to have a 8.13 track created for coq-prover.
Coq’s release cycle is currently 6 months long, see https://github.com/coq/coq/releases
Each release typically receives a few minor updates for 6 months. My impressions is that we will not need more than 2 active tracks (in addition to latest).
Upgrading from, say, 8.12.x and 8.13.0, is not zero cost for the user, since some incompatibilities are introduced: this is my main motivation in asking tracks, so that one can stick with a version for a while and plan the switch.
Feel free to ask any question about our release process.