結果 : force merge pull request github