git migration (more-or-less) complete

[Max Bolingbroke]

On 3 April 2011 00:52, Ian Lynagh <igloo at earth.li> wrote:
>
> There's now a github mirror here:
>    https://github.com/ghc/ghc
>
> I'll add mirrors of the other repos soon.

Great, thanks.

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.

Cheers,
Max