"git push" e "git push --tags" nello stesso comando?

Question

Io di solito corro:

git push 
git tag v4.7 
git push --tags 

Sia la prima e la terza le operazioni di connettersi al server, che spreca il tempo.
Voglio renderlo più veloce spingendo solo una volta. Quale comando (s) raggiungerebbe questo?
È in una bash script e deve essere eseguito correttamente in qualsiasi ramo, non solo master.

Leggendo il manuale, non credo git push all è la soluzione:

--all: Invece di nominare ogni ref a spingere, specifica che tutti gli arbitri sotto refs/teste/essere spinto.

--tags: tutti i riferimenti ai riferimenti/tag vengono inseriti, oltre ai riferimenti specificati esplicitamente nella riga di comando.

Answer 1

L'opzione più vicina può essere:

git push --follow-tags 

Spingere tutti gli arbitri che sarebbero spinti senza questa opzione, e anche spingere i tag annotati nei rif/tag che mancano dal telecomando ma puntano a committish che sono raggiungibili dai refs che vengono spinti.

Answer 2

È possibile utilizzare git push origin <your branch name>

Answer 3

In base alla documentazione di --tags è possibile specificare ulteriori punti di riferimento da spingere.

Così si può semplicemente utilizzare

git push --tags origin HEAD 

Answer 4

È possibile creare alias per avere un veloce accesso a questo comando:

git config --global alias.p '!git push && git push --tags' 

o

git config --global alias.pa '!git push --all && git push --tags' 

ora si può fare come this:

git tag v4.7 
git p 

Ulteriori informazioni sugli alias here