Hello,
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