Tony Finch 434e25c098 Auto-tag merge requests created by git-replay-merge ... The target branch is added to the title of the MR, and a "Backport" label is added. If the target branch starts with "v" a version label is added too. While I am here, clean up remnants of the old gitlab API (which has been replaced by push options for our purposes) and improve the command-line parsing.		2023-01-11 08:02:29 +00:00
..
bindkeys.pl
check-categories.sh	Add shell interpreter line where missing	2022-11-14 19:54:42 +00:00
check-changes
check-cocci
check-gitignore.sh	Detect "ignored yet tracked" files in GitLab CI	2022-12-23 13:44:18 +01:00
check-includes.pl
check-instincludes.sh
check-line-length.sh	Add shell interpreter line where missing	2022-11-14 19:54:42 +00:00
check-make-install.in
check-pullups.pl
checklibs.sh
gen-rsa-sha-vectors.c	Check that we can verify a signature at initialisation time	2022-07-25 10:32:13 -04:00
git-replay-merge.sh	Auto-tag merge requests created by git-replay-merge	2023-01-11 08:02:29 +00:00
memleak.pl
models.c
nanny.pl
new-func
pairwise-testing.sh
parse_tsan.py	Auto-format Python files with black	2022-06-08 10:28:08 +02:00
run-clang-tidy
tabify-changes
unused-headers.sh
xmllint-html.sh