diff options
| author | JakobDev <jakobdev@gmx.de> | 2024-01-24 03:32:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-24 02:32:57 +0000 |
| commit | f3ba3e922dde7d12999a90d6cee15805a56cc7ff (patch) | |
| tree | 1c61b2cf05fa7fb067627ba4544b3e19fb4ebc07 /options | |
| parent | 1af45689f9bdac7267400a8c9d77c23676b33935 (diff) | |
| download | gitea-f3ba3e922dde7d12999a90d6cee15805a56cc7ff.tar.gz gitea-f3ba3e922dde7d12999a90d6cee15805a56cc7ff.zip | |
Don't run push mirrors for archived repos (#27140)
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.
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 9a06bb0952..3bf8aa3845 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -2377,6 +2377,7 @@ settings.archive.error = An error occurred while trying to archive the repo. See settings.archive.error_ismirror = You cannot archive a mirrored repo. settings.archive.branchsettings_unavailable = Branch settings are not available if the repo is archived. settings.archive.tagsettings_unavailable = Tag settings are not available if the repo is archived. +settings.archive.mirrors_unavailable = Mirrors are not available if the repo is archived. settings.unarchive.button = Unarchive repo settings.unarchive.header = Unarchive this repo settings.unarchive.text = Unarchiving the repo will restore its ability to receive commits and pushes, as well as new issues and pull-requests. |