From 17553dc7e30d9cc5e6186101e081e7fd7eae487d Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 12 Aug 2007 13:48:14 +0200 Subject: Need to be a member of the `wiki' group for being able to push into the repository on flubber. --- HowToContributeToThisWiki.mdwn | 6 +++--- 1 file 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] -- cgit v1.2.3