diff options
| author | yp05327 <576951401@qq.com> | 2023-08-04 07:07:15 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-03 22:07:15 +0000 |
| commit | 6832a8eb06e382841e2cf5e52a9624bbd66a6acc (patch) | |
| tree | 4270cd1100ececc0922b70bce73d140f7de0b19b /options/locale | |
| parent | 70647bd04ccabcedc32bb92a0dd24502b93a4f59 (diff) | |
| download | gitea-6832a8eb06e382841e2cf5e52a9624bbd66a6acc.tar.gz gitea-6832a8eb06e382841e2cf5e52a9624bbd66a6acc.zip | |
Add locale for deleted head branch (#26296)
As title.
It will be displayed in:
Diffstat (limited to 'options/locale')
| -rw-r--r-- | options/locale/locale_en-US.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index ef940c83c8..24087cdd1b 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1784,6 +1784,8 @@ pulls.delete.text = Do you really want to delete this pull request? (This will p pulls.recently_pushed_new_branches = You pushed on branch <strong>%[1]s</strong> %[2]s +pull.deleted_branch = (deleted):%s + milestones.new = New Milestone milestones.closed = Closed %s milestones.update_ago = Updated %s |