Willy Tarreau 531bf44a65 DEV: patchbot: detect commit IDs starting with 7 chars ...

Some commit messages contain commit IDs as short as 7 chars, let's detect
them.

2024-09-04 09:41:40 +02:00

..

post-ai.sh

DEV: patchbot: detect commit IDs starting with 7 chars

2024-09-04 09:41:40 +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

…