diff options
| author | arnebab <arne_bab@web.de> | 2008-10-30 23:13:30 +0100 |
|---|---|---|
| committer | arnebab <arne_bab@web.de> | 2008-10-30 23:13:30 +0100 |
| commit | b50178e5f765300fd344212e0fa76bcec6e497df (patch) | |
| tree | 33cfea0e207fce3b25af7cff00eafcc93df8a8d2 /contributing | |
| parent | 32d7477a359747d120de2c016f6d4cf7a386fd79 (diff) | |
| parent | 4aa1484da889bd2534be7a3b0868d00e0cb3578a (diff) | |
Merge branch 'master' of arnebab@flubber:~wiki/wiki
Diffstat (limited to 'contributing')
| -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] |