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

..

base64

…

coccinelle

…

flags

…

gdb

…

h2

…

haring

…

hpack

…

ncpu

…

patchbot

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

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

phash

…

plug_qdisc

…

poll

…

qpack

…

sslkeylogger

…

tcploop

…

term_events

…

trace

…

udp

…