diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-03-13 14:54:30 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-03-13 14:54:30 +0100 |
| commit | 7521c9751d9a0ef6ac690fc8a01cea3b44f9394d (patch) | |
| tree | 4f6460f9c3180d400ff31a65aef8234c41fab9ed /contributing | |
| parent | fde8cc033ee7ebbc20585b807ee6df989b6a9981 (diff) | |
contributing/web_pages: Checkouts using the read-only git protocol are again possible from flubber.
Diffstat (limited to 'contributing')
| -rw-r--r-- | contributing/web_pages.mdwn | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn index 13dc7a3e..a15e7e75 100644 --- a/contributing/web_pages.mdwn +++ b/contributing/web_pages.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2007, 2008, 2009 Free Software Foundation, +[[!meta copyright="Copyright © 2007, 2008, 2009, 2010 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -116,10 +116,7 @@ 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 pages the read-only way. -Note that this -- currently -- is not the data from the master server, but from -a mirror of it, so it may be lagging behind a bit from time to time. - - $ git clone git://git.savannah.gnu.org/hurd/web.git [dest] + $ git clone git://flubber.bddebian.com/git/hurd-web [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 |