Pusing to haddock

Ben Gamari ben at smart-cactus.org
Mon Jun 13 21:44:14 UTC 2016

Simon Peyton Jones <simonpj at microsoft.com> writes:

> Devs,
> I want to push to the haddock repo, to fix the build.  But I can’t.
> .git/modules/utils/haddock/ contains
> [remote "origin"]
>    url = git://git.haskell.org/haddock.git
>         pushurl = ssh://git@git.haskell.org/haddock.git
>    fetch = +refs/heads/*:refs/remotes/origin/*
> I’m on branch ghc-head.  But when I push I get
> /cygdrive/c/code/HEAD/utils/haddock$ git push
> remote: W refs/heads/ghc-head haddock simonpj DENIED by refs/.*
> remote: error: hook declined to update refs/heads/ghc-head
> To ssh://git@git.haskell.org/haddock.git
> ! [remote rejected] ghc-head -> ghc-head (hook declined)
> error: failed to push some refs to 'ssh://git@git.haskell.org/haddock.git'
> No info on WHY it rejected.
Hmm, I suspect this means that you (or perhaps just this key?) don't
have push permission to the haskell.org Haddock repository. We should
rectify this. Herbert, could you verify this when you get a chance?

> What now? I attach the patch if someone else would like to push. If
> you do, update ghc HEAD to match

I'll take care of this.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160613/a60bc1b8/attachment.sig>

More information about the ghc-devs mailing list