Re: [GHC] #7673: Windows: run "git config --global core.autocrlf false" before cloning the repo