GitHub で Fork したリポジトリを PR マージ後に削除したときの影響

プルリクエストを投げるために、自分のアカウントへ Fork したリポジトリ。

これ、マージ後にどうすれば良いのか分からなくて放置しがちだったりするのですが、今回はちゃんと消してみました。そのときにいったいどういうことが起きるの、っていう。

プルリクエスト内の表示

元リポジトリ/ブランチ名が「unknown repository」となる。
https://github.com/cocos2d/cocos2d-x/pull/11933

プルリクエスト内 File Changed

当然ながら差分情報はさすがに残る。
https://github.com/cocos2d/cocos2d-x/pull/11933/files

リポジトリのコミットログ

コミットメッセージには影響ないのでこの中に元のブランチ名は残りますね。
https://github.com/cocos2d/cocos2d-x/commits/v3

削除って怖いよね…

git の仕組み自体が割と性善説ベースだし、下手なことしてアﾞーーってなりたくなくてちょっと慎重になってしまう。今回の Fork と PR は些細な変更だったので安心して実験台にした。