Re: [GHC] #8545: Reorganize Git repositories