On Wed, 23 Oct 2019, Simon Peyton Jones via ghc-devs wrote: > > Aieee! All my GHC repos are failing with this. As a result I can’t pull. What > should I do? Thanks! git remote prune origin