タグのアップデート

メモです。

Gitで、タグを追加した後で、修正の見落としが見つかったのでタグを最新版に付け替えたいときの操作。

タグをいったん削除して、再び同じ名前のタグを追加することで付け替えられます。

git tag -d タグ名 (タグの削除)
git tag タグ名 (最新版にタグを追加)
git push --tags (Githubに付け替えを報告)