結果 : github pull request can t automatically merge