Willy Tarreau e4e99282ca DEV: patchbot: only display the first 8 chars of the commit id ...

The commit id column doesn't need to show more than 8 chars to stay
unambiguous within a single page, and longer ids needlessly widen the
table. Everything that is keyed on the id (the commit link, the row's
name= attribute and the cid[] JS array) keeps the full id produced by
the pipeline, whatever its length, so this is a display-only change
which also gets us ready for a possible future move of the pipeline to
longer ids.

2026-07-07 10:58:38 +02:00

..

post-ai.sh

DEV: patchbot: only display the first 8 chars of the commit id

2026-07-07 10:58:38 +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

…

update-3.0.sh

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

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