Making sure that the new build server picks up GitHub pushes.