mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-22 23:13:19 +00:00
80202bd4fa
It's possible to have different casings in OWNERS, so we need to handle
that
(cherry picked from commit
|
||
---|---|---|
.. | ||
default.nix | ||
dev-branches.txt | ||
get-reviewers.sh | ||
request-reviews.sh | ||
verify-base-branch.sh |