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 /dgit | |
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 'dgit')
-rwxr-xr-x | dgit | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -4586,6 +4586,7 @@ END $dgithead or confess "$!"; my $trouble = 0; + my %hinted; my $found = sub { my ($objid) = @_; my $t = $taints{$objid}; @@ -4601,6 +4602,10 @@ END $row->{comment}; } $trouble = 1; + my $hint = $row->{hint}; + if (defined $hint and !$hinted{$hint}++) { + print STDERR $hint; + } } }; my $c_commit; |