### Description Sometimes, the pull/push mirrors stopped synchronizing. ### Gitea Version All ---- (Edited by wxiaoguang: only keep the problem description, the workaround is in the following comment)