PR済みのブランチを削除して同名ブランチでpushしたらCloseになる

差分なしでの Close になるという GitHubでの今日の知見だった。

git checkout -b a_branch
# ここで何かコミットする
git push upstream head
# ここで GitHub で PR にする
git checkout master
git branch -D a_branch
git checkout -b a_branch
# ここで何かコミットする
git push upstream head -f
# ここで GitHub の PR が Close になる