NOTICE: Gitolite migration is complete.

Herbert Valerio Riedel hvr at
Sat Aug 10 12:33:16 CEST 2013

Hello Malcolm,

On 2013-08-10 at 09:57:34 +0200, Malcolm Wallace wrote:
>> * None of you have shell access to anymore (well,
>> this is a nice update for us administrators :)
> Is the same machine as


> I notice that my nightly build of nhc98 failed a few hours ago with the error:
> darcs failed:  Not a repository: ((scp) failed to fetch:
> whilst it certainly succeeded the night before.
> Also, manual use of ssh now refuses me access to the machine:
> $ ssh
> Permission denied (publickey).
> Anything you can do to fix that?  Darcs depends on the ssh protocol
> for transfers.

Btw, I assumed Darcs required only ssh for write access to a Darcs repo?

However, if this helps, we could create a user account 'darcs' (in the
style of the current 'git' gitolite user) with a and
add the ssh pubkeys from users needing darcs/ssh access as described in
[1]; this would still satisfy the least-privilege principle as no full
shell account would be given out on

Would that help?


More information about the ghc-devs mailing list