※共有リポジトリでこれをやるとしばき倒されるんじゃないか?
developブランチばかりで更新していて、気がついたらmasterが置いてけぼり。
margeしようにもconflictが多すぎてお手上げ。
旧masterをbranch -Dで無理矢理消して、developをbranch -mでmasterにリネーム。
当然、GitHubからは弾かれる。
しかしpush --mirrorしたら、何と完全にローカルと同じ状態になったではありませんか。
すごい。なんだこれ。
一応、正攻法っぽい↓の方法を試そうとか思っていたんだけど、まさかそこに付けられたコメントを試したらこんなことになるとは。
git pushがrejectされたときの解決の手順 - 今日もスミマセン。