I always do it with interactive 'git rebase' in IntelliJ IDEA.
If there is a merge conflict, the contributor creates a new PR which has
happened maybe only once.
The most of the time the repo could be successfully rebased on master HEAD.

On Sun, Mar 18, 2018 at 8:41 PM, Michael Osipov <[email protected]> wrote:

> Am 2018-03-18 um 20:28 schrieb Karl Heinz Marbaise:
>
>> Hi Tibor,
>>
>> On 18/03/18 19:50, Tibor Digana wrote:
>>
>>> Do you have permissions to close pull requests in our ASF Maven projects?
>>>
>>
>> Are you allowed to do merge a pull request via GitHub ?
>>
>
> Please don't do that. GitHub will -- by default -- do a no-ff merge with
> ugly and useless merge commits. You have either to explicitly say ff merge
> or do via shell.
>
> Michael
>

Reply via email to