-
Notifications
You must be signed in to change notification settings - Fork 47
HOWTORELEASE
affeldt-aist edited this page Nov 14, 2021
·
26 revisions
-
Check that the milestone is complete.
-
Announce on Zulip:
- "We are preparing the X.Y.Z version of mathcomp-analysis, please do not merge into master until further notice."
- Edit the changelogs
git checkout -v changelogvXYZ
- Commit message: "changelog for version X.Y.Z"
-
Check the opam file if necessary (tags, authors, description, etc.).
-
Update
INSTALL.md
if necessary (version numbers, dependencies, etc.). -
Close the milestone.
-
Draft the release
- github.com/math-comp/analysis/releases/new
- Tag:
X.Y.Z
(nov
prefix) - Title: "MathComp Analysis X.Y.Z"
- Summary:
- "Compatible with MathComp X.YZ, ..."
- main change (extracted from the changelog?)
- changelog
-
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 "
- Submit a new opam package to https://github.com/coq/opam-coq-archive
- details omitted for now.
- Annouce on Zulip:
- "The X.Y.Z version of mathcomp-analysis is available as an opam package in U." where U is among