PRを残したままリモートブランチ名を変更したい
github でプルリクを出して、レビューをもらったりした後に、ブランチ名を修正したいことが稀によくあります。プルリクを消さないまま、ブランチ名を変更するにはどうすればよいのでしょうか?
```
直接リモートブランチの名前を変更するコマンドは無いようなので、別リモートブランチ(remote_new)にコピーしてremote_oldを削除する方法をとった。
git checkout -b ローカルブランチ名 origin/remote_old
git push origin ローカルブランチ名:remote_new
git push origin :remote_old
```
こういうやり方だと、プルリクが消えてしまいます。