diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 81e2e9fbc..1c2d36e01 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -837,6 +837,9 @@ settings.add_protected_branch_failed= %s Locked failed settings.remove_protected_branch_success=%s Unlocked successfully settings.protected_branch_deletion=To delete a protected branch settings.protected_branch_deletion_desc=Anyone with write permissions will be able to push directly to this branch. Are you sure? +settings.default_branch_desc = The default branch is considered the "base" branch in your repository against which all pull requests and code commits are automatically made, unless you specify a different branch. +settings.choose_branch = Choose a branch... +settings.no_protected_branch = There are no protected branches diff.browse_source = Browse Source diff.parent = parent diff --git a/templates/repo/settings/branches.tmpl b/templates/repo/settings/branches.tmpl index 79dd05392..46ecac37f 100644 --- a/templates/repo/settings/branches.tmpl +++ b/templates/repo/settings/branches.tmpl @@ -14,9 +14,7 @@ {{.CsrfTokenHtml}}