diff options
Diffstat (limited to 'pkgs/check-pr/default.nix')
| -rw-r--r-- | pkgs/check-pr/default.nix | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pkgs/check-pr/default.nix b/pkgs/check-pr/default.nix deleted file mode 100644 index fca30b1..0000000 --- a/pkgs/check-pr/default.nix +++ /dev/null @@ -1,13 +0,0 @@ -{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}" - ''; -} |
