gitでorigin/origin/masterをつくってしまったのでなんとかする

こんにちは, 今回はgitでミスってしまったときの話です. 先日, jenkinsの設定をミスりまして, うっかりremoteに, origin/origin/masterを作ってしまいました origin/masterにプッシュするつもりが, jenkinsのタグうちの設定をミスったようです これをなんとかしたかった訳ですが, 微妙に面倒な事になったのでメモ

いつも通りcheckout

このブランチを別へへマージしたかったのでチェックアウト

git checkout origin/master

すると, derived from origin/master となり, masterがチェックアウトされる こうなったら

git checkout origin/origin/master

derived from origin/origin/master となりますが, 一時チェック的になり操作が面倒 おいおい！

名前を指定してcheckout

きちんと名前を指定すればちゃんと来ます

git checkout remote/origin/origin/master  origin/master

これで, 思い通りの, origin/origin/master が origin/master という名前で, ローカルにチェックアウトされました

リモートを消去する

さて, ここが怖いところです

git push --delete origin origin/master

これで消去できました