diff options
| author | Richard Levitte <levitte@openssl.org> | 2020-10-16 10:24:18 +0200 |
|---|---|---|
| committer | Richard Levitte <levitte@openssl.org> | 2020-10-17 11:54:34 +0200 |
| commit | a1fc4642e1cedbce54945da36d256bbb12ff752d (patch) | |
| tree | f8e5b77f2120fc0a3bca11089116a6a206e8f066 /dev | |
| parent | b40498c6e7c6726cc4fc8fef5346f743fdd48aaf (diff) | |
dev/release.sh: improve instruction for pushing the tag
'git push --follow-tags' does a little too much, any spurious tag
object that the releaser have in their local repository will come
along, even though they have nothing to do with the commits being
pushed.
Therefore, we modify the instructions to show a separate and explicit
push of the release tag.
Reviewed-by: Matt Caswell <matt@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/13159)
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/release.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dev/release.sh b/dev/release.sh index 98fdd6a580..be8c89bb69 100755 --- a/dev/release.sh +++ b/dev/release.sh @@ -556,10 +556,12 @@ Push them to github, make PRs from them and have them approved: When merging them into the main repository, do it like this: - git push --follow-tags openssl-git@git.openssl.org:openssl.git \\ + git push openssl-git@git.openssl.org:openssl.git \\ $tmp_release_branch:$release_branch git push openssl-git@git.openssl.org:openssl.git \\ $tmp_update_branch:$update_branch + git push openssl-git@git.openssl.org:openssl.git \\ + $tag EOF else cat <<EOF @@ -570,8 +572,10 @@ Push it to github, make a PR from it and have it approved: When merging it into the main repository, do it like this: - git push --follow-tags openssl-git@git.openssl.org:openssl.git \\ + git push openssl-git@git.openssl.org:openssl.git \\ $tmp_release_branch:$release_branch + git push openssl-git@git.openssl.org:openssl.git \\ + $tag EOF fi |