nixpkgs/ci/request-reviews
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