RELEASE: Remind to push the git tag

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

1 files changed, 11 insertions, 0 deletions

diff --git a/RELEASE b/RELEASE
index aaa50249c..2f820774f 100644
--- 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}