diff options
| author | Enrico Tassi | 2020-11-27 17:40:10 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 09:43:41 +0100 |
| commit | 54abd3dbf6668a420bf25ce20b8db8184fa58afb (patch) | |
| tree | 742b1dc37e98fe33683406d713e6a905ec4fd7d5 /dev/doc | |
| parent | f733414e59afb37cad41c65b11bc4c817bd137f9 (diff) | |
[rm] update git commands to push tags
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/release-process.md | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 9b43bddd86..9dec8e5eff 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -123,9 +123,8 @@ in time. - 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). @@ -161,9 +160,8 @@ in time. [#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). |