Github migration of Cabal repo is problematic
duncan.coutts at googlemail.com
Sat Apr 21 17:14:55 CEST 2012
On 21 April 2012 15:40, Andres Löh <andres at 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.
More information about the cabal-devel