For the past week and change, every time I push a patch to Gerrit, I've gotten the following error:
remote: error: internal error To ssh://gerrit.wikimedia.org:29418/mediawiki/core ! [remote rejected] HEAD -> refs/for/master%topic=login-with-passkey-reauth (internal error) error: failed to push some refs to 'ssh://gerrit.wikimedia.org:29418/mediawiki/core'
But the patch then turns out to have been pushed successfully (for example, this was https://gerrit.wikimedia.org/r/c/mediawiki/core/+/472749/11 ).
The same thing happens when I make publish an edit to a patch in the web UI, or edit the commit message: I get an error, but when I refresh the page, there is a new patchset and my changes are in there.
(I have been doing a lot of work on old patches from 2018 lately, maybe that's part of why?)