結果 : github merge multiple pull requests at once