関連ワード:  how to push tags to github    how to push tags to remote    how to push tags to remote git    how to push git tag to github    how to push tag from github desktop    how to push all tags to remote    how to push local tags to remote    how to push tag in git