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 | |
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')
-rwxr-xr-x | infra/dgit-repos-server | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index bc98f60..1665949 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -208,6 +208,7 @@ setup_sigwarn(); # => [ { "gitobjtype": "commit", # as from git-cat-file -t # "gitobjid": "sha", # "comment": $string, # in server"s native language, UTF-8 +# "hint": $string, # optional, client should translate if it can # "overrides": [ "--deliberately-include-q-h", ... ], # } } # |