Trouble pushing changes?

Iavor Diatchki iavor.diatchki at
Tue Feb 10 01:20:39 UTC 2015


Today I made some more progress with the implementation of  `Typebable with
In the process, I had to update one line in the `deepseq` package, because
it has code to `rnf` `TypeReps`, which now have an extra field.

I made a separate branch in `deep-seq` where I was going to push the
change, but when I try to do so I get the following error:

git push -u origin typeable-with-kinds:typeable-with-kinds
Counting objects: 30, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (3/3), done.
Writing objects: 100% (4/4), 377 bytes | 0 bytes/s, done.
Total 4 (delta 2), reused 0 (delta 0)
remote: W refs/heads/typeable-with-kinds packages/deepseq diatchki DENIED
by refs/.*
remote: error: hook declined to update refs/heads/typeable-with-kinds
To ssh://
 ! [remote rejected] typeable-with-kinds -> typeable-with-kinds (hook
error: failed to push some refs to 'ssh://
git at'

Any ideas what that's about?  Perhaps, it is simply that I don't have
permission to push to `deep-seq`?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list