On 21 April 2012 15:40, Andres Löh <and...@well-typed.com> wrote: > One of these two is in the trunk and also present in the already > mirrored repository on Github. Ian tells me that they have convinced > the Github people to manually upload the repo in the past. The > question now is how to deal with this situation: > > * Should I ask the Github admins again to do some manual > intervention? Are we happy that these two patches won't cause problems > in the future? > > * Or: Should we fix the two patches by rewriting the author > information, but as a consequence changing nearly all the commit > hashes of the Cabal repo, causing a less smooth transition for > everyone who has an already checked out ghc source tree?
My vote is for the latter. GHC has coped with flag days for libraries before. Duncan _______________________________________________ cabal-devel mailing list cabal-devel@haskell.org http://www.haskell.org/mailman/listinfo/cabal-devel
