Hello Malcolm, On 2013-08-10 at 09:57:34 +0200, Malcolm Wallace wrote: >> * None of you have shell access to ghc.haskell.org anymore (well, >> this is a nice update for us administrators :) > Is ghc.haskell.org the same machine as darcs.haskell.org?
Yes > I notice that my nightly build of nhc98 failed a few hours ago with the error: > > darcs failed: Not a repository: darcs.haskell.org:/home/darcs/nhc98 ((scp) > failed to fetch: darcs.haskell.org:/home/darcs/nhc98/_darcs/inventory) > > whilst it certainly succeeded the night before. > Also, manual use of ssh now refuses me access to the machine: > > $ ssh darcs.haskell.org > 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 darcs-wrapper.pl 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 ghc.haskell.org. Would that help? [1]: http://darcs.net/RepoViaSSH _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs