Trouble committing

Herbert Valerio Riedel hvriedel at
Sun Dec 14 10:30:06 UTC 2014

On 2014-12-14 at 11:25:35 +0100, Erik de Castro Lopo 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://

That works too, but the more general approach (so you don't have to
repeat the step above for other ghc.git repos and/or each submodule
separately) is described below:


More information about the ghc-devs mailing list