note on git push --tags

This commit is contained in:
Davide Alberani 2017-09-17 17:17:48 +02:00
parent 228347850f
commit b79309a05b

View file

@ -506,7 +506,7 @@ Inviare i cambiamenti locali ad un branch remoto:
### Bonus track
* git push di default non invia i tags
* git push di default non invia i tags, che vanno pushati separatamente aggiungendo --tags
* cancellare un branch remoto: **git push -d origin branch-name**
-----