https://github.com/coq/coq/pull/15243#issuecomment-980027236
coqbot wouldn't have let you merge the PR anyway :wink:
Only silene can merge a PR into v8.14.
how does coqbot get that information?
It doesn't. https://github.com/coq/bot/blob/1d2da11478db9e2dd7e28e93a904d2f2e213126e/src/actions.ml#L1724
Merging into previous branches seems to be forbidden with coqbot.
Exactly. RM have to rely on the merge script for merging into release branches.
btw backport-pr is always complaining about the signature on coqbot merges, is there a nice way to make the signature checking work? (currently I use --no-signature-check)
gpg: Signature made jeu. 25 nov. 2021 23:04:30 CET
gpg: using RSA key 4AEE18F83AFDEB23
gpg: Can't check signature: No public key
(from backporting 15092)
I think I have imported GitHub's PGP public key to avoid these warnings: 5DE3E0509C47EA3CF04A42D34AEE18F83AFDEB23
Though, I didn't try recently to backport a PR, so I don't know if it's still working.
that seems the same hash (up to truncation), so should work?
Last updated: Oct 13 2024 at 01:02 UTC