Silvan Mosberger 80202bd4fa ci/request-reviews: Avoid duplicates with different casings ... It's possible to have different casings in OWNERS, so we need to handle that (cherry picked from commit e612b89953)		2024-10-15 01:06:13 +02:00
..
default.nix
dev-branches.txt
get-reviewers.sh	ci/request-reviews: Avoid duplicates with different casings	2024-10-15 01:06:13 +02:00
request-reviews.sh	ci/request-reviews: fix headRef to point to the PR head	2024-10-15 01:06:10 +02:00
verify-base-branch.sh	ci/request-reviews: Make wrong base branch message hashes more transparent	2024-10-15 00:44:45 +02:00