2021-05-27 git push --follow-tags program https://tracpath.com/docs/git-push/ `git push --tags`はタグしかpushしないが、このオプションは現在ブランチとそのブランチの祖先についているタグの両方をpushする。