-## Submitting tags.
-
- For the moment, we are using a central repo, hosted at
-
- git@pivot.cs.unb.ca:pub/nmbug
-
- To get push access, send your public key (ideally in a gpg signed
- email) to David Bremner. There is a convenience command
-
- nmbug push
-
- But you will have to change your url with
-
- git --git-dir=$HOME/.nmbug remote set-url origin git@pivot.cs.unb.ca:pub/nmbug
+## Submitting tags
+
+For the moment, we are using a central repo, hosted at:
+
+ nmbug@nmbug.tethera.net:nmbug-tags
+
+To get push access, send your public key (ideally in a gpg signed
+email) to David Bremner. There is a convenience command:
+
+ $ nmbug push
+
+But you will have to change your url with:
+
+ $ git --git-dir=$HOME/.nmbug remote set-url origin nmbug@nmbug.tethera.net:nmbug-tags