一度プッシュしたtagは、名前変更・削除してはならないプッシュしたtag名を削除・変更してはいけない理由は、git tagのmanコマンドの中で説明されている。manコマンドの内容は、コマンドの…