summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-27 18:31:17 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-28 12:07:44 +0000
commitd9c0e41be5ffa19259a640be2e2c788c35866fb9 (patch)
treebb8b988f448c12385cda206a5eb1df7cac4c5c04 /dgit
parentf5511fe681f41b6b79718d7a013ab76a495a51b0 (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-xdgit5
1 files changed, 5 insertions, 0 deletions
diff --git a/dgit b/dgit
index 357f9ed..2e6eeaf 100755
--- a/dgit
+++ b/dgit
@@ -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;