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	…