結果 : remove closed pull request github