diff options
Diffstat (limited to 'pkgs/check-pr.nix')
| -rw-r--r-- | pkgs/check-pr.nix | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/pkgs/check-pr.nix b/pkgs/check-pr.nix deleted file mode 100644 index b199669..0000000 --- a/pkgs/check-pr.nix +++ /dev/null @@ -1,17 +0,0 @@ -{ - lib, - writeShellApplication, -}: -writeShellApplication { - name = "check-pr"; - text = '' - _usage=" - usage: check-pr <owner/repo> <pr_id> [package] - " - - [ "$#" -lt 2 ] && echo -n "$_usage" && exit 1 - - nix run "github:$1?ref=pull/$2/head''${3:+#$3}" - ''; -} -// {meta.platforms = lib.platforms.all;} |
