GitLab bug: Your push has been rejected....

27 May 2023

      Hi all,

As pointed out by multiple staff at IRC, there is currently a bug in 
GitLab, resulting in the following error on some git push:

remote: 
========================================================================
remote:
remote:    Your push has been rejected, because this repository has exceeded
remote:      its size limit of 0 Bytes by 25 GB. Please contact your GitLab
remote:                   administrator for more information.
remote:
remote: 
========================================================================

This is a harmless bug in GitLab[1] and the push succeeds. GitLab will 
fix it eventually.

[1] https://gitlab.com/gitlab-org/gitlab/-/issues/409953

Cheers,
Kristian Klausen