jenkins: configure jenkins' repo
dasz::defaults: add key for arthur