Use 'git pull --ff-only' in the Jenkins job as extra insurance against oopses