it’s pull not pulls

2022-04-25 13:18:14 +01:00 · 2022-04-25 13:18:14 +01:00 · 028b18c940
commit 028b18c940
parent 25ef5a558a
1 changed files with 1 additions and 1 deletions
--- a/resolve-jobs.nix
+++ b/resolve-jobs.nix
@ -214,7 +214,7 @@ let
      value = builtins.fetchGit
        {
          url = "https://github.com/${value.base.repo.owner.login}/${value.base.repo.name}";
-          ref = "pulls/${n}/head";
+          ref = "pull/${n}/head";
        };
    })
    prs;