build.py no longer 'git pulls', but the github hook does.