Delete merge request 114
Gitlab keeps merge requests when they are closed. !114 contains large blobs which require a lot of storage. The associated branch was deleted, so this is not a problem for normal clones, but the bare checkout used for mirroring also gets merge request references, so it needs a lot of storage.
The merge request can only be deleted by the project owner. https://docs.gitlab.com/ee/user/project/merge_requests/#delete-a-merge-request