Willy Tarreau f657ffc6e7 DEV: patchbot: use git reset+checkout instead of pull ...

The patchbot stopped on a previous ultra-rare forced push due to wanting
the user's name and e-mail before proceeding. We don't want merges nor
rebases anyway, only to reset the tree to the next one, so let's do that.

2025-10-08 04:38:35 +02:00

..

post-ai.sh

DEV: patchbot: detect commit IDs starting with 7 chars

2024-09-04 09:41:40 +02:00

process-patch-v15.sh

DEV: patchbot: produce a verdict for too long commit messages

2024-01-09 14:46:04 +01:00

submit-ai.sh

DEV: patchbot: add the AI-based bot to pre-select candidate patches to backport

2023-12-18 20:50:51 +01:00

update-3.0.sh

DEV: patchbot: use git reset+checkout instead of pull

2025-10-08 04:38:35 +02:00