diff options
| author | seth <[email protected]> | 2024-05-22 04:06:24 -0400 |
|---|---|---|
| committer | seth <[email protected]> | 2024-05-22 16:21:31 -0600 |
| commit | 2a936b25d71986b1044645179b2fa385f43c2bc2 (patch) | |
| tree | e9812277222ea999fdd1dcf97e6e110339b61b0f /pkgs/check-pr.nix | |
| parent | bf4a600a9d4b64e5f5afefc69ae67bc688734610 (diff) | |
treewide: enforce <dir>/package.nix
Diffstat (limited to 'pkgs/check-pr.nix')
| -rw-r--r-- | pkgs/check-pr.nix | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pkgs/check-pr.nix b/pkgs/check-pr.nix deleted file mode 100644 index fca30b1..0000000 --- a/pkgs/check-pr.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}" - ''; -} |