Today, I noticed that phpmyadmin-bot will complain about pull requests that include merge commits which don't follow the developer guidelines. Is this how it's supposed to behave or did I do something wrong? As far as I know you can't (and shouldn't) sign off merge commits. You can see an example here [1].

Best regards,

Dan Ungureanu

[1] https://github.com/phpmyadmin/phpmyadmin/pull/1728