結果 : git delete merged pull request