mirror of
https://gitcode.com/gitea/gitea.git
synced 2025-12-12 18:29:10 +08:00
Fixes https://codeberg.org/forgejo/forgejo/issues/612 At the moment push mirrors are still run if a repo is archived. This PR fixes this.
4.0 KiB
4.0 KiB