On 21 April 2012 15:40, Andres Löh
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