git prune?

[Simon Peyton Jones]

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


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:

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

remote:   https://gitlab.haskell.org/ghc/ghc/-/merge_requests/new?merge_request%5Bsource_branch%5D=wip%2FT18121

remote:

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:

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

remote:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200501/e887b932/attachment.html>