diff options
Diffstat (limited to 'options/locale/locale_en-US.ini')
| -rw-r--r-- | options/locale/locale_en-US.ini | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 85ce82084b..20ea26f9d7 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -542,6 +542,10 @@ forks = Forks pick_reaction = Pick your reaction reactions_more = and %d more +archive.title = This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests. +archive.issue.nocomment = This repo is archived. You cannot comment on issues. +archive.pull.nocomment = This repo is archived. You cannot comment on pull requests. + form.reach_limit_of_creation = You have already reached your limit of %d repositories. form.name_reserved = The repository name '%s' is reserved. form.name_pattern_not_allowed = The pattern '%s' is not allowed in a repository name. @@ -1176,6 +1180,18 @@ settings.choose_branch = Choose a branch… settings.no_protected_branch = There are no protected branches. settings.edit_protected_branch = Edit settings.protected_branch_required_approvals_min = Required approvals cannot be negative. +settings.archive.button = Archive Repo +settings.archive.header = Archive This Repo +settings.archive.text = Archiving the repo will make it entirely read-only. It is hidden from the dashboard, cannot be committed to and no issues or pull-requests can be created. +settings.archive.success = The repo was successfully archived. +settings.archive.error = An error occured while trying to archive the repo. See the log for more details. +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.unarchive.button = Un-Archive Repo +settings.unarchive.header = Un-Archive This Repo +settings.unarchive.text = Un-Archiving the repo will restore its ability to recieve commits and pushes, as well as new issues and pull-requests. +settings.unarchive.success = The repo was successfully un-archived. +settings.unarchive.error = An error occured while trying to un-archive the repo. See the log for more details. diff.browse_source = Browse Source diff.parent = parent |