Currently local package repositories are not usable.
This change adds the attribute pkg_mirror (defaults to
pkg.jenkins-ci.org).