Currently the patchbot reports only mention the machine name. So we need to maintain and lookup a separate wiki page [1] which maps those machine names to patchbot owners. It would be simpler to have a --owner option so that those owners c/should run the patchbot as:
sage -patchbot --owner "Nicolas M. Thiéry <nthiery@users.sf.net>"
Currently the patchbot reports only mention the machine name. So we need to maintain and lookup a separate wiki page [1] which maps those machine names to patchbot owners. It would be simpler to have a --owner option so that those owners c/should run the patchbot as:
[1] http://wiki.sagemath.org/buildbot/owners