Note that the tag won't mirror to GitHub immediately
Doing this now and it seems to actually take a bit, which is a bit
annoying.
Change-Id: I85ef8da5054dd6ba6f75768586d48761df9a831b
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/71687
Reviewed-by: Bob Beck <bbe@google.com>
Commit-Queue: David Benjamin <davidben@google.com>
Auto-Submit: David Benjamin <davidben@google.com>
diff --git a/docs/releasing.md b/docs/releasing.md
index e524197..a5dc2fc 100644
--- a/docs/releasing.md
+++ b/docs/releasing.md
@@ -14,7 +14,8 @@
The "Annotation" field must be non-empty. (Just using the name of the tag
again is fine.)
-4. Create a corresponding GitHub [release](https://github.com/google/boringssl/releases/new).
+4. Wait for the tag to be mirrored to GitHub, and create a corresponding
+ GitHub [release](https://github.com/google/boringssl/releases/new).
5. Download the "Source code (tar.gz)" archive from the new release and
re-attach it to the release. (The next step will check that the archive is