関連ワード:  git command to push tags    git command to push tag to remote    git cli push tags    git command to create and push tag    git command line push tag    how to push tags to github    how to push tag in git    git command to switch to tag