Hi all,
I don't know if you've seen this, but I thought I'd let you know:
It does a similar job to what the auto-tester GreaseMonkey scripts already do but it's built into GitHub and modifies the merge button to make it more obvious. Could be worth looking into adding to the auto-tester at some point.
I would assume at some point they'll build on this to allow pull requests to be triaged based on the information.
--
Robert