From be1868927ddf6baaea73b7f2ce6d365dc89436de Mon Sep 17 00:00:00 2001 From: Guido Lena Cota Date: Tue, 6 Oct 2020 18:10:15 +0200 Subject: [PATCH] git-push: add it translation (#4521) --- pages.it/common/git-push.md | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 pages.it/common/git-push.md diff --git a/pages.it/common/git-push.md b/pages.it/common/git-push.md new file mode 100644 index 0000000000..8a0432e0db --- /dev/null +++ b/pages.it/common/git-push.md @@ -0,0 +1,32 @@ +# git push + +> Invia i commit a un repository remoto. +> Maggiori informazioni: . + +- Invia le modifiche fatte nel ramo corrente locale al corrispondente ramo remoto: + +`git push` + +- Invia le modifiche fatte in uno specifico ramo locale al corrispondente ramo remoto: + +`git push {{nome_repository_remoto}} {{nome_ramo}}` + +- Pubblica il ramo corrente in un repository remoto, specificando il nome del ramo remoto: + +`git push {{nome_repository_remoto}} -u {{nome_ramo_remoto}}` + +- Invia le modifiche fatte in ogni ramo locale ai corrispondenti rami remoti: + +`git push --all {{nome_repository_remoto}}` + +- Cancella un ramo di un repository remoto: + +`git push {{nome_repository_remoto}} --delete {{nome_ramo_remoto}}` + +- Cancella i rami remoti che non hanno un ramo locale corrispondente: + +`git push --prune {{nome_repository_remoto}}` + +- Pubblica i tag che non sono già presenti nel repository remoto: + +`git push --tags`