Trouble committing

Erik de Castro Lopo mle+hs at
Sun Dec 14 10:25:35 UTC 2014

Herbert Valerio Riedel wrote:

> What does the following command output in your case?
> $ git remote show -n origin | grep URL
>   Fetch URL: git://
>   Push  URL: ssh://

Fixed it with some help from ezyang who suggested:

    git remote set-url origin --push ssh://

Erik de Castro Lopo

More information about the ghc-devs mailing list