git push failure

[Ian Lynagh]

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 darcs.haskell.org:/srv/darcs/packages/base.git
>    5c37ca9..0b02a2e  master -> master
> 
> Anyone know what's wrong?  I think the push went through.

It was only the github mirroring that failed.


Thanks
Ian
-- 
Ian Lynagh, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/