diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 13:48:14 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 13:48:14 +0200 |
| commit | 17553dc7e30d9cc5e6186101e081e7fd7eae487d (patch) | |
| tree | 2775b9b2d7243e4523d3f62f5d09991ba8ea26cf | |
| parent | fb150885d91eb02158a9c5dedf2132174d28d83a (diff) | |
Need to be a member of the `wiki' group for being able to push into the repository on flubber.
| -rw-r--r-- | HowToContributeToThisWiki.mdwn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/HowToContributeToThisWiki.mdwn b/HowToContributeToThisWiki.mdwn index cb3f3446..7b142078 100644 --- a/HowToContributeToThisWiki.mdwn +++ b/HowToContributeToThisWiki.mdwn @@ -40,9 +40,9 @@ identity: For being able to do a checkout from which you can later directly push your changes back into the master repository, you need a -[[shell_account_on_*flubber*|Hurd/PublicHurdBoxen]]. (It's also very much -recommenable that you set up your local ssh configuration as advised on that -page.) If you have an account on there: +[[shell_account_on_*flubber*|Hurd/PublicHurdBoxen]] and need to be a member of +the *wiki* group. (It's also very much recommenable that you set up your local +ssh configuration as advised on that page.) If you have an account on there: $ git clone flubber:~wiki/wiki [dest] |