git prune?

Simon Peyton Jones simonpj at
Fri May 1 15:27:02 UTC 2020

I'm getting lots of the messages below.
Running 'git prune' makes no difference.

simonpj at MSRC-3645512:~/code/HEAD-5/testsuite/tests/th$ git push --set-upstream origin wip/T18121

Counting objects: 13, done.

Delta compression using up to 20 threads.

Compressing objects: 100% (13/13), done.

Writing objects: 100% (13/13), 1.64 KiB | 418.00 KiB/s, done.

Total 13 (delta 11), reused 0 (delta 0)


remote: To create a merge request for wip/T18121, visit:



remote: warning: The last gc run reported the following. Please correct the root cause

remote: and remove gc.log.

remote: Automatic cleanup will not be performed until the file is removed.


remote: warning: There are too many unreachable loose objects; run 'git prune' to remove them.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list