gitでローカルのタグを削除するコマンド。
##タグ名に削除したいタグを指定 git tag -d タグ名
gitでリモートのタグを削除するコマンド。
##タグ名に削除したいタグを指定 git push --delete origin tag タグ名
タグを削除したい時に、ローカルとリモート両方削除しておかないと環境がごちゃつくので、まとめてコマンドを打った方がいい事が多いです。
Git tagローカルとリモートそれぞれの削除
2023年5月18日
よく読まれている記事
-
1
-
条件の0=0は全てが正であるを意味する [SQL]
SQLの条件に0=0のような記述を見かけます。 変わった書き方の条件ですが、これは「全てが正である」事を意味しており、結合条件の場合はCROSS JOINと同じです。 下記の例で言えば、結合するsub ...
-
2
-
DISTINCTを使わないで重複排除を考える [SQL]
SQLのDISTINCTはEXISTSとかGROUP BYでなんとかする事もできます。 DISTINCTは暗黙的なソートがされますが、何のDBを使うにせよ過去のバージョンならともかく、最近のバージョン ...
-
3
-
RFC 5322に準拠させた正規表現 言語別
RFC5322で定義されている正規表現を、各言語の正規表現に変化させた形になります。 完全な電子メール正規表現は存在しないので、結局のところ何かの公式基準に従っていたとしても、自分が携わるサービスのル ...