]> git.ipfire.org Git - thirdparty/haproxy.git/commit
DEV: patchbot: use git reset+checkout instead of pull
authorWilly Tarreau <w@1wt.eu>
Wed, 8 Oct 2025 02:35:52 +0000 (04:35 +0200)
committerWilly Tarreau <w@1wt.eu>
Wed, 8 Oct 2025 02:38:35 +0000 (04:38 +0200)
commitf657ffc6e71ecf8e916812e48bc76ea3566ab169
tree45606d89a58a3bccdb260618e5fdabca7c7b0f49
parent45fba1db27eea3894e75678ed11a2ca3cec8014b
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.
dev/patchbot/scripts/update-3.0.sh