this repo has no description
20
fork

Configure Feed

Select the types of activity you want to include in your feed.

refactor: use did permalinks

you can get these from pdsls for the time being

isabel 613583cd 82b9a648

+9 -14
+9 -14
fetcher.nix
··· 41 41 decorate ( 42 42 { 43 43 domain ? "tangled.org", 44 - owner, 45 - repo, 44 + did, 46 45 rev ? null, 47 46 tag ? null, 48 47 49 48 # TODO: add back when doing FP 50 - # name ? repoRevToNameMaybe repo (lib.revOrTag rev tag) "tangled", 49 + # name ? repoRevToNameMaybe did (lib.revOrTag rev tag) "tangled", 51 50 52 51 passthru ? { }, 53 52 meta ? { }, ··· 80 79 builtins.unsafeGetAttrPos "rev" args 81 80 ); 82 81 83 - baseUrl = "https://${domain}/${owner}/${repo}"; 82 + baseUrl = "https://${domain}/${did}"; 84 83 85 84 newMeta = 86 85 meta ··· 95 94 passthruAttrs = removeAttrs args ( 96 95 [ 97 96 "domain" 98 - "owner" 99 - "repo" 97 + "did" 100 98 "tag" 101 99 "rev" 102 100 "fetchSubmodules" ··· 129 127 derivationArgs = { 130 128 inherit 131 129 domain 132 - owner 133 - repo 130 + did 134 131 ; 135 132 }; 136 133 } ··· 139 136 revWithTag = finalAttrs.rev; 140 137 in 141 138 { 142 - url = "${baseUrl}/archive/${revWithTag}?prefix=${repo}"; 139 + url = "${baseUrl}/archive/${revWithTag}?prefix=${did}"; 143 140 extension = "tar.gz"; 144 141 145 142 derivationArgs = { 146 143 inherit 147 144 domain 148 - owner 149 - repo 145 + did 150 146 tag 151 147 ; 152 148 rev = fetchgit.getRevWithTag { ··· 164 160 ) 165 161 // { 166 162 name = 167 - args.name or (repoRevToNameMaybe finalAttrs.repo (lib.revOrTag finalAttrs.revCustom finalAttrs.tag) 168 - "tangled" 169 - ); 163 + args.name 164 + or (repoRevToNameMaybe finalAttrs.did (lib.revOrTag finalAttrs.revCustom finalAttrs.tag) "tangled"); 170 165 meta = newMeta; 171 166 }; 172 167 in