Re: [GHC] #8824: cloning from https://github.com/ghc/ghc.git is broken