diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-27 20:17:57 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-12-28 13:28:27 +0000 |
commit | 1ef6c07b2e83444b8b11afb32f3b91b06a025eff (patch) | |
tree | 27d8d44c16a790b8e894e1edec9b5ce52531dd5b | |
parent | 5445bca353db7d7cfc6da53cc6af92ca7d310202 (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-x | infra/dgit-repos-policy-debian | 10 |
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 $!; } |