chiark / gitweb /
infra: dgit-mirror-ssh-wrap: Fix $package_re