結果 : delete file option in github pull request