update gitolite-jenkins