jenkins: configure jenkins' repo