[GHC] #8379: sync-all broken when using the GitHub mirror