diff options
| author | coqbot-app[bot] | 2020-12-04 09:11:55 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-04 09:11:55 +0000 |
| commit | 4830993d2e51d55be05444e838f39c18e5f9eee6 (patch) | |
| tree | e827deaaa2dbd15750a6aed05c6a49f6ebf26954 /dev | |
| parent | b01b5fc9e56cf461d09d2884edefd232c9c63d6e (diff) | |
| parent | ca9b6c0ca3c91ca8b4afd3f6f812e6526944884f (diff) | |
Merge PR #13497: [rm] update release notes
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 9b43bddd86..e0271d8c62 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -117,15 +117,14 @@ in time. Coq has been tagged. - [ ] Have some people test the recently auto-generated Windows and MacOS packages. -- [ ] In a PR: +- [ ] In a PR against `vX.X` (for testing): - Change the version name from alpha to beta1 (see [#7009](https://github.com/coq/coq/pull/7009/files)). - We generally do not update the magic numbers at this point. - Set `is_a_released_version` to `true` in `configure.ml`. - [ ] Put the `VX.X+beta1` tag using `git tag -s`. -- [ ] Check using `git push --tags --dry-run` that you are not - pushing anything else than the new tag. If needed, remove spurious - tags with `git tag -d`. When this is OK, proceed with `git push --tags`. +- [ ] Push the new tag with `git push upstream VX.X+beta1 --dry-run` + (remove the `--dry-run` and redo if all looks OK). - [ ] Set `is_a_released_version` to `false` in `configure.ml` (if you forget about it, you'll be reminded whenever you try to backport a PR with a changelog entry). @@ -156,14 +155,13 @@ in time. ## At the final release time ## - [ ] Prepare the release notes (see above) -- [ ] In a PR: +- [ ] In a PR against `vX.X` (for testing): - Change the version name from X.X.0 and the magic numbers (see [#7271](https://github.com/coq/coq/pull/7271/files)). - Set `is_a_released_version` to `true` in `configure.ml`. - [ ] Put the `VX.X.0` tag. -- [ ] Check using `git push --tags --dry-run` that you are not - pushing anything else than the new tag. If needed, remove spurious - tags with `git tag -d`. When this is OK, proceed with `git push --tags`. +- [ ] Push the new tag with `git push upstream VX.X.0 --dry-run` + (remove the `--dry-run` and redo if all looks OK). - [ ] Set `is_a_released_version` to `false` in `configure.ml` (if you forget about it, you'll be reminded whenever you try to backport a PR with a changelog entry). |