nmbug: You only need to push over SSH

You can still pull with the Git protocol.  Pulling over SSH is
optional, and likely depends on how paranoid you are about MiTM
attacks ;).  Still, if pulling with the Git protocol is good enough
for non-contributors, it's probably good enough for contributors as
well.

1 files changed, 2 insertions, 2 deletions

diff --git a/nmbug.mdwn b/nmbug.mdwn
index 4635933..6305380 100644
--- a/nmbug.mdwn
+++ b/nmbug.mdwn
@@ -70,9 +70,9 @@ email) to David Bremner.  There is a convenience command:
 
     $ nmbug push
 
-But you will have to change your url with:
+But you will have to change your push URL with:
 
-    $ git --git-dir=$HOME/.nmbug remote set-url origin nmbug@nmbug.tethera.net:nmbug-tags
+    $ git --git-dir=$HOME/.nmbug remote set-url --push origin nmbug@nmbug.tethera.net:nmbug-tags
 
 ## Tagging conventions