darkkirb/nixos-config
1
0
Fork 0
Code Issues 1 Pull requests 1 Projects Releases Packages Wiki Activity Actions

hopefully fix prs?

Browse source
This commit is contained in:
Charlotte 🦝 Delenk 2022-04-25 13:27:13 +01:00
parent 028b18c940
commit 0f93b71b43
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
resolve-jobs.nix
View file

@ -207,14 +207,15 @@ let
prs = builtins.fromJSON (builtins.readFile <prs>);
#prs = builtins.fromJSON (builtins.readFile <prs>);
prs = builtins.fromJSON (builtins.readFile ./github-pulls.json);
srcs = mapAttrs'
(n: value: {
name = "pr${n}";
value = builtins.fetchGit
{
url = "https://github.com/${value.base.repo.owner.login}/${value.base.repo.name}";
ref = "pull/${n}/head";
url = "https://github.com/${value.head.repo.owner.login}/${value.head.repo.name}.git";
ref = "${value.head.ref}";
};
})
prs;