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
Aha, that makes sense, thanks! -Iavor
On Tue, Feb 10, 2015 at 12:47 AM, Herbert Valerio Riedel < hvriedel@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