結果 : github merge pull request without deleting branch