we recently asked for the creation of the v8.13 track for coq-prover, and it was granted, thank you for that. In the meanwhile we have decided to switch to a “new” release process which will follows the Ubuntu schema YYYY.MM.X (for reference see Coq Enhacement Proposal 52). The frequency of releases/track creation is staying at twice per year.
Would it be possible to rename track v8.13 to 2021.02 ?
Or, would it be possible to create 2021.02 now and eventually suppress v8.13 ?