RELEASE: Fix command

git-push(1) needs a remote for pushing a tag.  Specify korg, my name for
the git.kernel.org remote.

$ git remote -v | grep korg
korg	git@gitolite.kernel.org:pub/scm/docs/man-pages/man-pages (fetch)
korg	git@gitolite.kernel.org:pub/scm/docs/man-pages/man-pages (push)

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

1 files changed, 3 insertions, 1 deletions

diff --git a/RELEASE b/RELEASE
index 7ac1545fc..3b1864f34 100644
--- a/RELEASE
+++ b/RELEASE
@@ -179,7 +179,9 @@ Description
             -  Push:
 
                    $ git push
-                   $ git push man-pages-${new}
+                   $ git push korg man-pages-${new}
+
+               korg is just my name for the remote.
 
 Files
    Changes, Changes.old