GitHub では ちょっと前から， pull request を merge したとき，その pull request を投げた topic branch （仮に origin/hoge とする）を Web 上の操作で簡単に削除できるようになってます （つまり git push origin :hoge を自動で実行してくれます）． …