Github migration of Cabal repo is problematic

[Duncan Coutts]

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.

Duncan