Willy Tarreau eaf4adb5e2 DEV: patchbot: count the number of backported/non-backported patches ...

It's useful to instantly see how many patches of each category have
already been backported and are still pending, let's count them and
report them at the top of the page.

2024-09-04 09:11:04 +02:00

..

post-ai.sh

DEV: patchbot: count the number of backported/non-backported patches

2024-09-04 09:11:04 +02:00

process-patch-v15.sh

…

submit-ai.sh

…

update-3.0.sh

…