diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-27 18:31:17 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-28 12:07:44 +0000 |
commit | d9c0e41be5ffa19259a640be2e2c788c35866fb9 (patch) | |
tree | bb8b988f448c12385cda206a5eb1df7cac4c5c04 /infra/dgit-repos-policy-debian | |
parent | f5511fe681f41b6b79718d7a013ab76a495a51b0 (diff) |
policy-client-query tainted-objects: Add hint to spec and client
We're going to want to print a hint. (In this case, the message that
would be printed to stderr if we rejected the actual push.)
Add it to the spec, and to the client code.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-policy-debian')
0 files changed, 0 insertions, 0 deletions