HOWTORELEASE

How to release

Publish a release

1. Check that the milestone is complete.

2. Announce on Zulip:

• "We are preparing the X.Y.Z version of mathcomp-analysis, please do not merge into master until further notice."

3. Edit the changelogs

• Commit message: "changelog for version X.Y.Z"

4. Check the opam file if necessary (tags, authors, description, etc.).

5. Optionally update INSTALL.md.

6. Close the milestone.

7. Draft the release

   • github.com/math-comp/analysis/releases/new
   • Tag: X.Y.Z (no v prefix)
   • Title: "MathComp Analysis X.Y.Z"
   • Summary:
     • "Compatible with MathComp X.YZ, ..."
     • main change (extracted from the changelog?)
     • changelog

8. Announce to Zulip:

• "We have released the X.Y.Z version of mathcomp-analysis, it is now ok to merge into master."

Publish the opam package

1. Update the date of the opam file in master if necessary

2. Submit a new opam package to https://github.com/coq/opam-coq-archive

• details omitted for now.

3. Annouce on Zulip:

• "The X.Y.Z version of mathcomp-analysis is available as an opam package in U." where U is among
  • https://coq.inria.fr/opam/released
  • https://coq.inria.fr/opam/extra-dev