Trouble pushing changes?

Herbert Valerio Riedel hvriedel at
Tue Feb 10 08:47:27 UTC 2015

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 

you can do that ad-hoc by

  git push ssh:// 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


More information about the ghc-devs mailing list