Can't push to haddock

Simon Peyton Jones simonpj at
Thu Dec 7 17:32:02 UTC 2017

I'm trying to push a patch that needs a supporting change to haddock.
I've pushed the haddock change to the ghc-head branch of ssh://, which is (according to 'packages') the relevant haddock upstream repo.
But when I try to push the GHC patch, I get this message

bash$ git push

Counting objects: 45, done.

Delta compression using up to 32 threads.

Compressing objects: 100% (45/45), done.

Writing objects: 100% (45/45), 27.56 KiB | 0 bytes/s, done.

Total 45 (delta 43), reused 0 (delta 0)

remote: performing commit message validations...

remote: Commit message validation passed!

remote: performing submodule-ref update validations...

remote: Submodule update(s) detected in fa29df02a1b0b926afb2525a258172dcbf0ea460:

remote:  utils/haddock => 24841386cff6fdccc11accf9daa815c2c7444d65

remote: *FAIL* commit not found in submodule repo ('../haddock.git')

remote:        or not reachable from persistent branches

remote: hooklet hooks/update.secondary.d/check-submodule-refs failed

remote: hooks/update.secondary died

remote: error: hook declined to update refs/heads/master

To ssh://

! [remote rejected] HEAD -> master (hook declined)

error: failed to push some refs to 'ssh://'

simonpj at cam-05-unx:~/code/HEAD$

What's up?  I  have pushed the haddock commit!

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

More information about the ghc-devs mailing list