Silvan Mosberger e612b89953 ci/request-reviews: Avoid duplicates with different casings ... It's possible to have different casings in OWNERS, so we need to handle that		2024-10-12 05:27:55 +02:00
..
default.nix
dev-branches.txt
get-reviewers.sh	ci/request-reviews: Avoid duplicates with different casings	2024-10-12 05:27:55 +02:00
request-reviews.sh	ci/request-reviews: fix headRef to point to the PR head	2024-10-12 06:10:17 +08:00
verify-base-branch.sh	ci/request-reviews: Make wrong base branch message hashes more transparent	2024-10-10 01:40:11 +02:00