A long time ago, I set up a pull mirror as a migration, to automatically mirror a repository from public github.com to my private Gitea server. This was working fine until recently, when the upstream repository was deleted. Now my logs are full of errors trying to sync the mirror.
How can I disable the mirror, without deleting the repository fully?