summaryrefslogtreecommitdiff
path: root/infra/dgit-mirror-ssh-wrap
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-27 01:17:39 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-28 12:07:44 +0000
commit23e23a4f14ffa1dbf8ba07f3d2136e2e16f2e1e1 (patch)
tree3c3b55fc6a4dd39680b5eb5a9a2293b4c5213c0c /infra/dgit-mirror-ssh-wrap
parent270e9275117a9833a1dfd447d1940b8d100a6fca (diff)
policy-client-query: dgit: use tainted-objects query
Add the config for controlling policy-client-query calls. For now we default to "unknown" everywhere. If supported, check if tainted objects are reachable from $dgithead, and report them. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-mirror-ssh-wrap')
0 files changed, 0 insertions, 0 deletions