diff options
| author | Mario Lubenka <mario.lubenka@googlemail.com> | 2019-04-20 22:50:34 +0200 |
|---|---|---|
| committer | Lauris BH <lauris@nix.lv> | 2019-04-20 23:50:34 +0300 |
| commit | bc861347597a88ed476ec0124c4c4baf773255c3 (patch) | |
| tree | 9ca8108e4d9b9c1c5f3d6b911b91ab38d9fa01b9 /options | |
| parent | b1bb700665bdd801e9daac9c2a6013b551aeacec (diff) | |
| download | gitea-bc861347597a88ed476ec0124c4c4baf773255c3.tar.gz gitea-bc861347597a88ed476ec0124c4c4baf773255c3.zip | |
Show "delete branch" button on closed pull requests (#6570) (#6601)
* Show button to delete a pull request branch after a pull request has been closed (#6570)
Signed-off-by: Mario Lubenka <mario.lubenka@googlemail.com>
* Update routers/repo/pull.go
Co-Authored-By: saitho <mario.lubenka@googlemail.com>
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 bcdd252b66..eedede2a05 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -944,6 +944,7 @@ pulls.tab_conversation = Conversation pulls.tab_commits = Commits pulls.tab_files = Files Changed pulls.reopen_to_merge = Please reopen this pull request to perform a merge. +pulls.cant_reopen_deleted_branch = This pull request cannot be reopened because the branch was deleted. pulls.merged = Merged pulls.has_merged = The pull request has been merged. pulls.title_wip_desc = `<a href="#">Start the title with <strong>%s</strong></a> to prevent the pull request from being merged accidentally.` |