git push failure

Ian Lynagh ian at
Mon Jul 22 18:14:18 CEST 2013

On Fri, Jul 19, 2013 at 10:22:05AM +0100, Simon Marlow wrote:
> remote: Host key verification failed.

Ah, I've added github's host key to /etc/ssh/ssh_known_hosts so this
should now be fixed.

> remote: fatal: The remote end hung up unexpectedly
> To simonmar at
>    5c37ca9..0b02a2e  master -> master
> Anyone know what's wrong?  I think the push went through.

It was only the github mirroring that failed.

Ian Lynagh, Haskell Consultant
Well-Typed LLP,

More information about the ghc-devs mailing list