git pullするときに git delete-merged-branch すると便利かも！？
これは一回も使ってない。
pr on git push