diff options
| author | a1012112796 <1012112796@qq.com> | 2022-06-19 18:05:15 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-19 18:05:15 +0800 |
| commit | cc42c6488a818499e363935c214d5c4d0aaff554 (patch) | |
| tree | 303ebfabb2c9ffaa5fcbfd333172190324c249d4 /options | |
| parent | e86f18a05a19611c518f6ccb87cc7a1261392666 (diff) | |
| download | gitea-cc42c6488a818499e363935c214d5c4d0aaff554.tar.gz gitea-cc42c6488a818499e363935c214d5c4d0aaff554.zip | |
fix delete pull head ref for DeleteIssue (#20032)
* fix delete pull head ref for DeleteIssue
fix #19655
Signed-off-by: a1012112796 <1012112796@qq.com>
* add different help message for delete pull request
Signed-off-by: a1012112796 <1012112796@qq.com>
Co-authored-by: 6543 <6543@obermui.de>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 347022fbdb..72253b3640 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1610,6 +1610,9 @@ pulls.auto_merge_canceled_schedule = The auto merge was canceled for this pull r pulls.auto_merge_newly_scheduled_comment = `scheduled this pull request to auto merge when all checks succeed %[1]s` pulls.auto_merge_canceled_schedule_comment = `canceled auto merging this pull request when all checks succeed %[1]s` +pulls.delete.title = Delete this pull request? +pulls.delete.text = Do you really want to delete this pull request? (This will permanently remove all content. Consider closing it instead, if you intend to keep it archived) + milestones.new = New Milestone milestones.closed = Closed %s milestones.update_ago = Updated %s ago |