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@gmail.com> wrote:

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