RELEASE: Remind to push the git tag

Signed-off-by: Alejandro Colomar <alx@kernel.org>

diff --git a/RELEASE b/RELEASE
index aaa50249c126c576ebc70fba6b183313049cd2ab..2f820774fe30c41e328b7cfa67c9abd5d4d6ff66 100644 (file)
--- a/RELEASE
+++ b/RELEASE
@@ -161,3 +161,14 @@ release.
 
     $ git add Changes Changes.old
     $ git commit -sm "Start of man-pages-NEXT: Move Changes to Changes.old"
+
+
+9) Push
+-------
+
+You've finished.  When you confirm it's good, push to the git repository.
+
+- Push:
+
+    $ git push
+    $ git push man-pages-${new}