Trouble pushing changes?

[Iavor Diatchki]

On further thought, would it be hard to update whatever hook is checking
for this, to give a bit more detail?  If it is easy, we could update the
message to say something like ("You should not push here, please push to
URL instead").

It is nice to have documentation on the wiki, but it is even better if the
system is self-documenting, so one does not have to go searching on the
Internet.



On Tue, Feb 10, 2015 at 10:01 AM, Iavor Diatchki <iavor.diatchki at gmail.com>
wrote:

> Aha, that makes sense, thanks!
> -Iavor
>
> On Tue, Feb 10, 2015 at 12:47 AM, Herbert Valerio Riedel <
> hvriedel at gmail.com> wrote:
>
>> On 2015-02-10 at 02:20:39 +0100, Iavor Diatchki wrote:
>>
>> [...]
>>
>> > Any ideas what that's about?  Perhaps, it is simply that I don't have
>> > permission to push to `deep-seq`?
>>
>> You have to push to GitHub's upstream of deepseq:
>>
>>   $ awk '/^libraries\/deepseq/ { print $4 }' packages
>>   ssh://git@github.com/haskell/deepseq.git
>>
>> you can do that ad-hoc by
>>
>>   git push ssh://git@github.com/haskell/deepseq.git HEAD:master
>>
>> from inside libraries/deepseq
>>
>> it's also mentioned as a comment in the ./packages (as well as on the
>> GHC Wiki, I think) file that some subrepos have to be pushed somewhere
>> else
>>
>>
>> Cheers,
>>   hvr
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20150210/c3c7baff/attachment-0001.html>