Fix jenkins-cfg GitHub cfg to build head of branch