一度プッシュしたtagは、名前変更・削除してはならない プッシュしたtag名を削除・変更してはいけない理由は、git tagのmanコマンドの中で説明されている。 manコマンドの内容は、コマンドの使い方を淡々と説明している印象があり、今まであまり読んでこなかった。 しか...