diff options
| author | Tanapol Nearunchorn <tanapoln@wongnai.com> | 2016-07-02 02:10:30 +0700 |
|---|---|---|
| committer | Tanapol Nearunchorn <tanapoln@wongnai.com> | 2016-09-02 10:12:21 +0700 |
| commit | 73fedc727538381d4e1048ee03be6b45e977a076 (patch) | |
| tree | 27548e943e4ba831f24097272a8c099778d44336 /conf | |
| parent | b3d9ca4ccd7c4353db0971b61bbcbffd126cb61d (diff) | |
provide button to delete merged pull request
Diffstat (limited to 'conf')
| -rw-r--r-- | conf/locale/locale_en-US.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/conf/locale/locale_en-US.ini b/conf/locale/locale_en-US.ini index 90f6c60e..7749e90e 100644 --- a/conf/locale/locale_en-US.ini +++ b/conf/locale/locale_en-US.ini @@ -580,6 +580,7 @@ pulls.cannot_auto_merge_desc = This pull request can't be merged automatically b pulls.cannot_auto_merge_helper = Please merge manually in order to resolve the conflicts. pulls.merge_pull_request = Merge Pull Request pulls.open_unmerged_pull_exists = `You can't perform reopen operation because there is already an open pull request (#%d) from same repository with same merge information and is waiting for merging.` +pulls.delete_branch = Delete Branch milestones.new = New Milestone milestones.open_tab = %d Open |