chiark / gitweb /
Policy hook sets mode of NEW repos (and policy protocol passes new repo pathname...
[dgit.git] / infra / dgit-repos-admin-debian
2015-05-31 Ian JacksonNew policy admin script