H, As you have undoubtetly noticed the jobs at builds.a.o no longer comment in our PRs after they are done. They do however edit the commitstatus which found hovering over a little check near the commit-id. It used to only record jenkins successtatus but since PR912 it also shows the builds.a.o status.
be warned, -- Daan
