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
process-patch-v15.sh
submit-ai.sh
update-3.0.sh	DEV: patchbot: use git reset+checkout instead of pull	2025-10-08 04:38:35 +02:00