Pull request を取り消す方法(Closeではなく)

Question

質問

Gitを最近使い始めたばかりの初心者です。GitHubにて操作ミスでPull Requestを出してしまいました。GitHubからはCloseすることはできますが、Pull Requestを無かったことにはできませんでした。
そこで、Qiitaに、

git push --delete origin branch-name

で消えるとあったので早速、

git push origin master --delete 

と、実行しましたが、このように怒られてしまいます。

 ! [remote rejected] master (refusing to delete the current branch: refs/heads/master)
error: failed to push some refs to 'https://github.com/username/repository

どうすれば削除できますでしょうか？よろしくお願いします。

Answer 1

GitHubからはCloseすることはできますが、Pull Requestを無かったにはできませんでした。

素直にCloseしてはまずいのでしょうか？

Comments

[fuji_0055]

ありがとうございます。他の人に見られたり、余計なリクエストがたまっていると気持ち悪いので消したいです。
または消すことはできなくても、GitHub上で非表示にはできないでしょうか？

[maisumakun]

> 気持ち悪いので消したいです。

リポジトリに特殊な操作を加えると、間違えて破壊するリスクなどもあります。「残っていて気持ち悪い」というのは、そのリスクを負ってまで対応しないといけないものなのでしょうか。

[fuji_0055]

「全く消す方法がない」ようなので、リモート(GitHub上の)リポジトリを作り直そうと思います。どうもありがとうございました。

[maisumakun]

そこまでしますか…！

Answer 2

こんにちは。
その Pull Request に利用したリモートブランチを消す手段はあることにはありますが、消すと PR が自動的に Closed になります。
というわけで、消す意味は全くないですね。
つまり、一度作った PR を消す手段は存在しません。

もしかしたら、セキュリティクリティカルな内容を書いてしまって騒動になってしまったようなシーンでしたら、GitHub, Inc. に直接コンタクトを取って、オペレータに削除してもらう、という対応が取れる可能性はあるかもしれませんね。

Comments

[fuji_0055]

消す手段がまったくないんですか。こうなるとリモートリポジトリの作り直ししかないようですね。助かりました。ありがとうございました。