diff options
author | guillep2k <18600385+guillep2k@users.noreply.github.com> | 2019-10-04 23:09:19 -0300 |
---|---|---|
committer | Lunny Xiao <xiaolunwen@gmail.com> | 2019-10-05 10:09:19 +0800 |
commit | fb7c23f911bebcb72f170f3d8bc8343546805f3b (patch) | |
tree | a208fe4a49be0c378ce9d91f224289c0c3fec388 /options | |
parent | f92a0b68fed81128fa278e82aa0e3d49d74ffdf6 (diff) | |
download | gitea-fb7c23f911bebcb72f170f3d8bc8343546805f3b.tar.gz gitea-fb7c23f911bebcb72f170f3d8bc8343546805f3b.zip |
Fix editor commit to new branch if PR disabled (#8375)
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 938c53af3f..c8be059b72 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -706,6 +706,7 @@ editor.delete = Delete '%s' editor.commit_message_desc = Add an optional extended description… editor.commit_directly_to_this_branch = Commit directly to the <strong class="branch-name">%s</strong> branch. editor.create_new_branch = Create a <strong>new branch</strong> for this commit and start a pull request. +editor.create_new_branch_np = Create a <strong>new branch</strong> for this commit. editor.propose_file_change = Propose file change editor.new_branch_name_desc = New branch name… editor.cancel = Cancel |