Server error upon commit/push

[kevinpapst]

Describe the issue

Using the hosted version, love it, thanks for providing that to open source projects ❤️

I have a problem though currently. A user made hundreds of contributions and I recognized that they were not automatically pushed. So I went to repository :

and hit commit and was greeted with that:

One of the Sentry IDS was 48d933adcbad41b396f66aa2cff7f0fc

Happens as well when I click push.

Any idea what that is or how to fix it - without loosing the hundreds of outstanding changes?

I already tried

• I've read and searched the documentation.
• I've searched for similar filed issues in this repository.

Steps to reproduce the behavior

I don't think this is a general bug, but a repository problem?

How do you run Weblate?

weblate.org service

[github-actions]

Thank you for your report; the issue you have reported has just been fixed.

• In case you see a problem with the fix, please comment on this issue.
• In case you see a similar problem, please open a separate issue.
• If you are happy with the outcome, don’t hesitate to support Weblate by making a donation.

[kevinpapst]

Thanks @nijel - love your work 👍