Skip to content

Instantly share code, notes, and snippets.

@lukateras
Last active January 22, 2019 11:11
Show Gist options
  • Save lukateras/781c880be8f1b8a91c9c23fa83a35d58 to your computer and use it in GitHub Desktop.
Save lukateras/781c880be8f1b8a91c9c23fa83a35d58 to your computer and use it in GitHub Desktop.
diff -r 59f916c737be keydb.ml
--- a/keydb.ml Tue Oct 23 00:56:31 2018 +0000
+++ b/keydb.ml Tue Jan 22 14:09:31 2019 +0300
@@ -1166,6 +1166,12 @@
try
if has_hash hash then [] else
let keyid = Fingerprint.keyid_from_key ~short:true key in
+ let keyid_long = Fingerprint.keyid_to_string ~short:false (Fingerprint.keyid_from_key ~short:false key) in
+ plerror 4 "considering keyid %s" keyid_long;
+ if List.mem keyid_long [
+ "E41ED3A107A7DBC7"; (* 2018-07-16 *)
+ "86CE877469D2EAD9"; (* 2019-01-22 *)
+ ] then [] else
let potential_merges = List.filter ~f:(fun x -> x <> key)
(get_by_short_keyid keyid)
in
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment