I have a personal Gitea instance (1.16.9) that has over 130 repos, spread across multiple owners (user and organizations).
For some number of them I have push mirroring setup to GitHub, but have recently needed to change my personal access token. Pull mirror failures show in the admin System Notices, but push mirror failures do not appear to be listed.
Without going into the settings of each repo manually, can I find out which repos have a mirror setup to push to GitHub? Can I view which push mirror syncs have failed?
I have full access to Gitea, the server, and the database (PostgreSQL).