On Mon, 11 May 2020, Sandro Tosi wrote:
> when i push i always do
>
> $ git push --all ; git push --tags
To push only branches which are shared on both sides and the associated
tags I use this:
$ git push origin : --follow-tags
Which I alias as "git dpush" so I have this in ~/.gitconfig:
[alias]
dpush = push origin : --follow-tags
drelease = !gbp dch -R --commit
(I left my "git drelease" alias as well, I use it just before to update
the changelog...)
Cheers,
--
⢀⣴⠾⠻⢶⣦⠀ Raphaël Hertzog <hert...@debian.org>
⣾⠁⢠⠒⠀⣿⡁
⢿⡄⠘⠷⠚⠋ The Debian Handbook: https://debian-handbook.info/get/
⠈⠳⣄⠀⠀⠀⠀ Debian Long Term Support: https://deb.li/LTS
