diff options
Diffstat (limited to 'HowToContributeToThisWiki.mdwn')
| -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] |