結果 : github remove merged pull request