Moving Haddock *development* out of GHC tree

Edward Z. Yang ezyang at
Fri Aug 29 12:56:39 UTC 2014

Hello Herbert,

I think the pre-commit hook needs to be adjusted; I used to have
push rights on master, but I cannot seem to push to ghc-head.


Excerpts from Herbert Valerio Riedel's message of 2014-08-16 16:34:46 +0100:
> On 2014-08-16 at 16:59:51 +0200, Mateusz Kowalczyk wrote:
> [...]
> > Herbert kindly updated the sync-all script that
> > defaults to the new branch so I think we're covered. 
> Minor correction: I did not touch the sync-all script at all. I merely
> declared a default branch in the .gitmodules file:

More information about the ghc-devs mailing list