From e4e99282caa3046d3f24d474960a8505daa7de54 Mon Sep 17 00:00:00 2001 From: Willy Tarreau Date: Mon, 6 Jul 2026 16:21:33 +0200 Subject: [PATCH] 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. --- dev/patchbot/scripts/post-ai.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/dev/patchbot/scripts/post-ai.sh b/dev/patchbot/scripts/post-ai.sh index 654a6a161..8367912fa 100755 --- a/dev/patchbot/scripts/post-ai.sh +++ b/dev/patchbot/scripts/post-ai.sh @@ -404,7 +404,10 @@ for patch in "${PATCHES[@]}"; do echo -n "$seq_num
" echo -n "" - echo -n "$cid${date:+
$date}" + # only the first 8 chars of the commit id are displayed (enough to be + # unambiguous on one page); everything keyed (href, name=, cid[]) + # carries the full id produced by the pipeline, whatever its length. + echo -n "${cid:0:8}${date:+
$date}" echo -n "${pnum:+$pnum }$subj${author:+
$author
}" echo -n "" echo -n "" -- 2.47.3