[tools] master update

[tomas at openssl.org]

The branch master has been updated
       via  d9dd40cdad7cdcb6e6160430958a8a5e9998a369 (commit)
      from  4a5441d5602435cd801aeee4add5908cfc86acab (commit)


- Log -----------------------------------------------------------------
commit d9dd40cdad7cdcb6e6160430958a8a5e9998a369
Author: Matt Caswell <matt at openssl.org>
Date:   Wed Aug 25 09:46:14 2021 +0100

    Make it more explicit how to push tags
    
    Reviewed-by: Richard Levitte <levitte at openssl.org>
    Reviewed-by: Tomas Mraz <tomas at openssl.org>
    (Merged from https://github.com/openssl/tools/pull/90)

-----------------------------------------------------------------------

Summary of changes:
 HOWTO-make-a-release.md | 8 +++++---
 release-tools/README.md | 7 +++----
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/HOWTO-make-a-release.md b/HOWTO-make-a-release.md
index 7456b6a..d378a4b 100644
--- a/HOWTO-make-a-release.md
+++ b/HOWTO-make-a-release.md
@@ -286,9 +286,11 @@ instructed by `dev/release.sh`.  You may want to sanity check the pushes by
 inserting the `-n` (dry-run) option.
 
 *For OpenSSL before 3.0*, simply push your local changes to the main source
-repo, and please do remember to push the release tags as well, which is done
-separately with the `--tags` option.  You may want to sanity check the
-pushes by inserting the `-n` (dry-run) option.
+repo, and please do remember to push the release tags as well. You may want to
+sanity check the pushes by inserting the `-n` (dry-run) option. You must specify
+the repository / remote and tag to be pushed:
+
+    git push <repository> <tagname>
 
 ## Updating the website
 
diff --git a/release-tools/README.md b/release-tools/README.md
index dc18f74..c4d1462 100644
--- a/release-tools/README.md
+++ b/release-tools/README.md
@@ -141,11 +141,10 @@ typically want to sanity check this with:
 
         git push -n
 
-Push new tags to public repo. Again sanity check with:
+Push new tags to public repo. You must specify the repository / remote and tag
+name explicitly. Again sanity check with:
 
-        git push --tags -n
-
-to make sure no local tags were pushed.
+        git push -n <repository> <tagname>
 
 ##  Updating the website