clerie 9ddc82b507 pkgs/git-checkout-github-pr: Add script to checkout GitHub PRs in repos

2024-07-11 13:18:45 +02:00

..

default.nix

…

git-checkout-github-pr.sh

…