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 <[email protected]>
wrote:
> Aha, that makes sense, thanks!
> -Iavor
>
> On Tue, Feb 10, 2015 at 12:47 AM, Herbert Valerio Riedel <
> [email protected]> 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://[email protected]/haskell/deepseq.git
>>
>> you can do that ad-hoc by
>>
>> git push ssh://[email protected]/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
>>
>
>
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs
