<div dir="ltr">Hello,<div><br></div><div>Today I made some more progress with the implementation of  `Typebable with kinds`.</div><div>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.</div><div><br></div><div>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:</div><div><br></div><div><div>git push -u origin typeable-with-kinds:typeable-with-kinds</div><div>Counting objects: 30, done.</div><div>Delta compression using up to 8 threads.</div><div>Compressing objects: 100% (3/3), done.</div><div>Writing objects: 100% (4/4), 377 bytes | 0 bytes/s, done.</div><div>Total 4 (delta 2), reused 0 (delta 0)</div><div>remote: W refs/heads/typeable-with-kinds packages/deepseq diatchki DENIED by refs/.*</div><div>remote: error: hook declined to update refs/heads/typeable-with-kinds</div><div>To ssh://<a href="http://git@git.haskell.org/packages/deepseq.git">git@git.haskell.org/packages/deepseq.git</a></div><div> ! [remote rejected] typeable-with-kinds -> typeable-with-kinds (hook declined)</div><div>error: failed to push some refs to 'ssh://<a href="http://git@git.haskell.org/packages/deepseq.git">git@git.haskell.org/packages/deepseq.git</a>'</div></div><div><br></div><div>Any ideas what that's about?  Perhaps, it is simply that I don't have permission to push to `deep-seq`?</div><div><br></div><div>-Iavor</div></div>