Tools to improve interactions between github and buildbot.