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. Update INSTALL.md if necessary (version numbers, dependencies, etc.).

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. Changelog: https://github.com/math-comp/analysis/blob/master/CHANGELOG.md "

Publish the opam package

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

• details omitted for now.

2. 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