git prune?

Ben Gamari ben at
Fri May 1 16:01:17 UTC 2020

Simon Peyton Jones via ghc-devs <ghc-devs at> writes:

> I'm getting lots of the messages below.
> Running 'git prune' makes no difference.
> Simon
Indeed, the warning is on the server side (hence the "remote:" prefix).
I'll need to take care of this on the server.


- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list