なんか凄く HP 削られてて駄目なことヤッてしまいました。こんなことするのであれば branch の名前は変えないと駄目ですよね。ただ、branch の名前が ユーザ id - issue の id みたいなカンジになっているのでこれはこれで微妙。

そのまんまヤッツケてしまうのなら PR のコメントあたりに

ろーかるに branch 持ってる人は一度消してね

てカンジのコメントを投入しておくべきかどうなのか。

ともあれ

一旦公開した branch の歴史は変えちゃダメ、が Git の大前提なルールだけにxD