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.

diff --git a/nmbug.mdwn b/nmbug.mdwn
index 4635933844ff862bc7c531261640ad39d6ce52d2..63053807ad63f5e4279b6324a81acf01e7afb8e9 100644 (file)
--- a/nmbug.mdwn
+++ b/nmbug.mdwn
@@ -70,9 +70,9 @@ email) to David Bremner.  There is a convenience command:
 
     $ nmbug push
 
 
     $ 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
 
 
 ## Tagging conventions