Excerpts from Manuel M T Chakravarty's message of Fri Apr 15 07:39:12 -0400 2011: > Did you validate? Please validate in a repo separate from your work tree.
Yes. In fact, I did validate in a repo from my separate work tree... the trouble was that repo had the extra patch as well. :-( > One disadvantage of Git in this context is that it encourages to have only > one repo with different branches for multiple purposes. The only reliable > method of validation is to have a completely separate validation tree. Push > from your work tree to the validation tree and from there to the public repo. > Validating in your working tree, even after checking out the master is > fragile, as non-version controlled droppings may (and eventually will!) lead > to a mistaken result. I need to practice better validate hygiene. I've been using the same validate tree for validates for commits and validates with extra settings for sanity checking; I guess these should be separate trees. Edward _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
