Re: Urgent: git problem

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