plugins/jenkins: update reference to push_projects