On Thu, Jul 21, 2016 at 2:09 PM Goswin von Brederlow <goswin-v-b@web.de> wrote:
Many other projects use the rule that PR author != merger.

But even more other projects don't use that rule, no ? ;-)

--Fabrice