Gitでリモートのタグを変更する．

# Gitでリモートのタグを変更する．

$ git tag release_yyyymmdd
$ git push REPO_NAME --tag
# ローカルのタグを削除
$ git tag -d release_yyyymmdd
# タグを新しく作成
$ git tag release_yyyymmdd
# リモートのタグを削除
$ git push --delete REPO_NAME release_yyyymmdd
$ git push REPO_NAME --tag