diff options
Diffstat (limited to 'options/locale/locale_de-DE.ini')
| -rw-r--r-- | options/locale/locale_de-DE.ini | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/options/locale/locale_de-DE.ini b/options/locale/locale_de-DE.ini index cdb432cea5..5ab5dd39cf 100644 --- a/options/locale/locale_de-DE.ini +++ b/options/locale/locale_de-DE.ini @@ -1258,9 +1258,7 @@ settings.protected_branch_can_push_yes=Du kannst pushen settings.protected_branch_can_push_no=Du kannst nicht pushen settings.branch_protection=Branch-Schutz für Branch „<b>%s</b>“ settings.protect_this_branch=Branch-Schutz aktivieren -settings.protect_this_branch_desc=Verhindere Löschen und deaktiviere das „force pushing” von Git auf diesen Branch. settings.protect_whitelist_committers=Push-Whitelist aktivieren -settings.protect_whitelist_committers_desc=Erlaube Nutzern oder Teams auf der Whitelist Push-Beschränkungen zu umgehen. settings.protect_whitelist_users=Nutzer, die pushen dürfen: settings.protect_whitelist_search_users=Benutzer suchen… settings.protect_whitelist_teams=Teams, die pushen dürfen: |