summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-27 20:17:57 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2022-12-28 13:28:27 +0000
commit1ef6c07b2e83444b8b11afb32f3b91b06a025eff (patch)
tree27d8d44c16a790b8e894e1edec9b5ce52531dd5b
parent5445bca353db7d7cfc6da53cc6af92ca7d310202 (diff)
policy-client-query tainted-objects: Maybe pseudo-taint HEAD
This isn't quite right yet... Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xinfra/dgit-repos-policy-debian10
1 files changed, 10 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index 7051345..ac1ee29 100755
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -577,6 +577,16 @@ END
$row->{overrides} = [ map { $_->[0] } @$delibs ];
delete $row->{taint_id};
}
+ if (defined(my $questionable_head_msg = package_questionable_head_msg())) {
+ my $head = git_rev_parse('HEAD~0');
+ push @$topq, {
+ gitobjtype => 'commit',
+ gitobjid => $head,
+ comment => 'Package is in NEW, need a --deliberately',
+ hint => $questionable_head_msg,
+ overrides => [], # FIXME
+ };
+ }
print encode_json $topq, "\n" or die $!;
}