Deeply sorry about noise on GitHub...
If you see this comment: "Can one of the admins verify this patch?" you can
ignore...
I'm trying to setup a machine to trigger the testsuite on each PRs so that we know if
it breaks the testsuite before it's applied.
And this bot says this comment...
I'll create a new user to make it clearer..
Thomas