diff options
-rw-r--r-- | contributing/wiki.mdwn | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/contributing/wiki.mdwn b/contributing/wiki.mdwn index 02911965..85851c43 100644 --- a/contributing/wiki.mdwn +++ b/contributing/wiki.mdwn @@ -82,17 +82,14 @@ ssh configuration as advised on that page.) If you have an account on there: If you don't have such an account or don't have your login data handy, you can still get the pages the read-only way. -Getting the files by using the native git protocol is currently not possible, -but will be possible again as soon as the master repository has been relocated -to the GNU Savannah machine. +Note that this -- currently -- is not the data from the master server, but from +a mirror of it, so it may be lacking behind a bit from time to time. -<!-- - $ git clone git://flubber.bddebian.com/git/wiki [dest] + $ git clone git://git.savannah.gnu.org/hurd/wiki.git [dest] If that also doesn't work out, you have yet another chance: pull over the http protocol. Not very efficient (read: rather inefficient), but it works. This is also read-only. ---> $ git clone http://www.bddebian.com/git/wiki [dest] |