リモートのタグを一括削除するときは–deleteを使おうと思った話

この記事は12/19のGit Advent Calendarの記事です。

ひょんなことから、リモートのGitサーバにある4000個のタグを一括削除することになりました。

タグ消すときはgit push origin :タグ名でタグを消してたのですが、 4000個もあると丸一日待っても終わらないので、他に素早く消せる方法はないだろうか、 とコマンドを探していたら良いものを見つけた、という備忘録です。

※タグについて書きますがブランチにおいても同様です。

Continue Reading…

ブログのデザインをリニューアルしました

ブログのデザインをリニューアルしました

久々の更新です。
突然ですが、ブログのデザインをリニューアルしました。

とは行っても自作ではなく、
新しく追加された新テーマTwenty Thirteenをちょこっと改造したものになっています。

リニューアルついでに、導入したプラグインやアプリについて書き留めていきます。 Continue Reading…