I'm getting lots of the messages below. Running 'git prune' makes no difference. Simon simonpj@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%5Bsour... 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: