chiark / gitweb /
dgit-repos-policy-debian: Fix add_taint
[dgit.git] / infra / dgit-ssh-dispatch
2015-05-31 Ian Jacksondgit-repos-server etc.: Rework argument & distros-dir...
2015-03-22 Ian JacksonMove $package_re into Debian::Dgit
2015-03-22 Ian JacksonIntroduce policy-hook script into dgit-ssh-dispatch...
2015-03-22 Ian Jacksoninfra: Pass distro to dgit-repos-server
2014-11-09 Ian JacksonNew dgit-infrastructure binary package containing dgit...
2014-11-08 Ian Jacksoninfra/dgit-ssh-dispatch: New production infra script