[Haddock] Re-creation of haddock repo
Simon Peyton-Jones
simonpj at microsoft.com
Mon Jun 6 22:17:51 BST 2011
| > So I'd like to ask you if you'd be OK with this plan? You would all
| > need kill your local haddock2 clones and create new clones.
I'm ok with this. You're correct that the ghc-generics branch is now dead, ditto ghc-new-co.
| > To stop the two repos from diverging again we could either kill the
| > darcs repo or forbid comitting directly to the git repo.
|
| In the darcs days, the two were intentionally diverging as the upstream
| repo was supporting the last stable GHC release, whereas the GHC HEAD
| repo needed to work with HEAD. How are we going to handle that now?
Presumably the same way as we do the libraries -- by branching at the same time as we branch HEAD?
Simon
More information about the Haddock
mailing list