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%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: