Hello,
Today I made some more progress with the implementation of `Typebable with kinds`.
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
! [remote rejected] typeable-with-kinds -> typeable-with-kinds (hook declined)
Any ideas what that's about? Perhaps, it is simply that I don't have permission to push to `deep-seq`?
-Iavor