Stream: Coq devs & plugin devs

Topic: coqbot


view this post on Zulip Gaëtan Gilbert (Nov 26 2021 at 14:41):

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?

view this post on Zulip Ali Caglayan (Nov 26 2021 at 15:13):

It doesn't. https://github.com/coq/bot/blob/1d2da11478db9e2dd7e28e93a904d2f2e213126e/src/actions.ml#L1724
Merging into previous branches seems to be forbidden with coqbot.

view this post on Zulip Théo Zimmermann (Nov 26 2021 at 15:20):

Exactly. RM have to rely on the merge script for merging into release branches.

view this post on Zulip Gaëtan Gilbert (Nov 26 2021 at 15:22):

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

view this post on Zulip Gaëtan Gilbert (Nov 26 2021 at 15:22):

(from backporting 15092)

view this post on Zulip Théo Zimmermann (Nov 26 2021 at 15:27):

I think I have imported GitHub's PGP public key to avoid these warnings: 5DE3E0509C47EA3CF04A42D34AEE18F83AFDEB23

view this post on Zulip Théo Zimmermann (Nov 26 2021 at 15:28):

Though, I didn't try recently to backport a PR, so I don't know if it's still working.

view this post on Zulip Paolo Giarrusso (Nov 26 2021 at 17:39):

that seems the same hash (up to truncation), so should work?


Last updated: Feb 05 2023 at 21:03 UTC