或るプログラマの一生

GitHub の PR のブランチを、PR のマージボタンを押すのではなく、 GitHub 外でマージして push したらどういう結果になるか気になったのでやってみました。