On 2016-06-13 at 23:44:14 +0200, Ben Gamari wrote: > Simon Peyton Jones <simo...@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://g...@git.haskell.org/haddock.git
well, that's incorrect... if you look in the 'packages' text-file at the top of GHC's source-tree, you'll notice that haddock's upstream repo is declared as ssh://g...@github.com/haskell/haddock.git And you should have permission to push there. git.haskell.org/haddock.git is a mirror of the GitHub repo _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs