Urgent: git problem

Dr. ERDI Gergo gergo at erdi.hu
Wed Oct 23 16:36:15 UTC 2019

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

More information about the ghc-devs mailing list