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