git migration (more-or-less) complete
batterseapower at hotmail.com
Sun Apr 3 13:59:08 CEST 2011
On 3 April 2011 00:52, Ian Lynagh <igloo at earth.li> wrote:
> There's now a github mirror here:
> I'll add mirrors of the other repos soon.
You should probably stop the post-receive hook from pushing to Github
if it executes in the context of a user without permissions for the
private key, though. I'm getting an (otherwise harmless) error message
about this when I push.
More information about the Cvs-ghc