Simon Peyton Jones <[email protected]> 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://[email protected]/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://[email protected]/haddock.git > > ! [remote rejected] ghc-head -> ghc-head (hook declined) > > error: failed to push some refs to 'ssh://[email protected]/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. Cheers, - Ben
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
