<div dir="ltr">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"). <div><br></div><div>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.<div><br></div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 10, 2015 at 10:01 AM, Iavor Diatchki <span dir="ltr"><<a href="mailto:iavor.diatchki@gmail.com" target="_blank">iavor.diatchki@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Aha, that makes sense, thanks!<span class="HOEnZb"><font color="#888888"><div>-Iavor</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 10, 2015 at 12:47 AM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvriedel@gmail.com" target="_blank">hvriedel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2015-02-10 at 02:20:39 +0100, Iavor Diatchki wrote:<br>
<br>
[...]<br>
<span><br>
> Any ideas what that's about?  Perhaps, it is simply that I don't have<br>
> permission to push to `deep-seq`?<br>
<br>
</span>You have to push to GitHub's upstream of deepseq:<br>
<br>
  $ awk '/^libraries\/deepseq/ { print $4 }' packages<br>
  ssh://<a href="http://git@github.com/haskell/deepseq.git" target="_blank">git@github.com/haskell/deepseq.git</a><br>
<br>
you can do that ad-hoc by<br>
<br>
  git push ssh://<a href="http://git@github.com/haskell/deepseq.git" target="_blank">git@github.com/haskell/deepseq.git</a> HEAD:master<br>
<br>
from inside libraries/deepseq<br>
<br>
it's also mentioned as a comment in the ./packages (as well as on the<br>
GHC Wiki, I think) file that some subrepos have to be pushed somewhere<br>
else<br>
<br>
<br>
Cheers,<br>
  hvr<br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>