The simple basics of github_buildbot.py: Github and Buildbot together at last!