chiark / gitweb /
When cleaning up after failed clone, stat the to-be-cleaned-up directory before runni...
[dgit.git] / infra / dgit-repos-policy-trusting
2015-05-31 Ian JacksonInfra: Document dgit-repos-policy-trusting a bit
2015-05-31 Ian JacksonInfra: Add dgit-repos-policy-trusting