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%5Bsou…
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:
