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
verify-base-branch.sh