Git

Git tagローカルとリモートそれぞれの削除

2023年5月18日

gitでローカルのタグを削除するコマンド。

##タグ名に削除したいタグを指定
git tag -d タグ名

gitでリモートのタグを削除するコマンド。

##タグ名に削除したいタグを指定
git push --delete origin tag タグ名

タグを削除したい時に、ローカルとリモート両方削除しておかないと環境がごちゃつくので、まとめてコマンドを打った方がいい事が多いです。

  • この記事を書いた人

朝倉卍丸

シングルモルトスコッチなどのお土産を持ってきた人を助けるのが好きです。サービスの分割が重要ですが、まあ昔ながらの方法でやりたいこともありますよね。

よく読まれている記事

条件の0=0は全てが正であるを意味するSQL 1
条件の0=0は全てが正であるを意味する [SQL]

SQLの条件に0=0のような記述を見かけます。 変わった書き方の条件ですが、これは「全てが正である」事を意味しており、結合条件の場合はCROSS JOINと同じです。 下記の例で言えば、結合するsub ...

DISTINCTを使わないで重複排除を考えるSQL 2
DISTINCTを使わないで重複排除を考える [SQL]

SQLのDISTINCTはEXISTSとかGROUP BYでなんとかする事もできます。 DISTINCTは暗黙的なソートがされますが、何のDBを使うにせよ過去のバージョンならともかく、最近のバージョン ...

RFC 5322に準拠させた正規表現言語別 3
RFC 5322に準拠させた正規表現 言語別

RFC5322で定義されている正規表現を、各言語の正規表現に変化させた形になります。 完全な電子メール正規表現は存在しないので、結局のところ何かの公式基準に従っていたとしても、自分が携わるサービスのル ...

-Git