On 1/18/25 15:49, Stefan Hajnoczi wrote:
Hi Richard, 1. This pull request is not a signed tag. Please push a signed tag. 2. I can't find a key for [email protected] on keys.openpgp.org. Please check again and send the key fingerprint.
It is a signed tag: $ git tag -v pull-tcg-20250117 object db1649823d4f27b924a5aa5f9e0111457accb798 type commit tag pull-tcg-20250117 tagger Richard Henderson <[email protected]> 1737137605 -0800 tcg: - Add TCGOP_TYPE, TCGOP_FLAGS. - Pass type and flags to tcg_op_supported, tcg_target_op_def. - Split out tcg-target-has.h and unexport from tcg.h. - Reorg constraint processing; constify TCGOpDef. - Make extract, sextract, deposit opcodes mandatory. - Merge ext{8,16,32}{s,u} opcodes into {s}extract. tcg/mips: Expand bswap unconditionally tcg/riscv: Use SRAIW, SRLIW for {s}extract_i64 tcg/riscv: Use BEXTI for single-bit extractions tcg/sparc64: Use SRA, SRL for {s}extract_i64 disas/riscv: Guard dec->cfg dereference for host disassemble util/cpuinfo-riscv: Detect Zbs accel/tcg: Call tcg_tb_insert() for one-insn TBs linux-user: Add missing /proc/cpuinfo fields for sparc gpg: Signature made Fri 17 Jan 2025 10:19:33 AM PST gpg: using RSA key 7A481E78868B4DB6A85A05C064DF38E8AF7E215F gpg: issuer "[email protected]" gpg: Good signature from "Richard Henderson <[email protected]>" [ultimate] I don't know why one cannot search by email on keys.openpgp.org, but you can search by the key above. r~
