diff options
Diffstat (limited to 'options/locale/locale_it-IT.ini')
| -rw-r--r-- | options/locale/locale_it-IT.ini | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/options/locale/locale_it-IT.ini b/options/locale/locale_it-IT.ini index e4379612ea..45a2d69a4a 100644 --- a/options/locale/locale_it-IT.ini +++ b/options/locale/locale_it-IT.ini @@ -1272,10 +1272,6 @@ pulls.no_merge_helper=Attiva le opzioni di merge nelle impostazioni del reposito pulls.no_merge_wip=Questa pull request non può essere unita perché è contrassegnata come un lavoro in corso. pulls.no_merge_not_ready=Questa pull request non è pronta per il merge, controlla lo stato della revisione e i controlli di stato. pulls.no_merge_access=Non sei autorizzato ad effettuare il merge su questa pull request. -pulls.merge_pull_request=Unisci Pull Request -pulls.rebase_merge_pull_request=Fai rebase e unisci -pulls.rebase_merge_commit_pull_request=Rebase e Merge (--no-ff) -pulls.squash_merge_pull_request=Fai squash e unisci pulls.require_signed_wont_sign=Il branch richiede commit firmati ma questo merge non verrà firmato pulls.invalid_merge_option=Non puoi utilizzare questa opzione di merge per questa pull request. pulls.merge_conflict_summary=Messaggio d'errore |