fetchFromGitHub: force re-fetch when rev changes #11

Merged
bbjubjub2494 merged 4 commits from fetchgithub-refetch into main 2024-05-21 05:45:52 +00:00

4 commits

Author SHA1 Message Date
Julie Tyché Bettens bbfac17344 fetchFromGitHub: use instance URL in name 2024-05-19 10:45:26 +02:00
Yueh-Shun Li 7494c65f9a fetchgit: takes passthru argument 2024-05-19 10:25:17 +02:00
Yueh-Shun Li 882bdc43f2 fetchFromGitHub: take passthru and enhance overriding
Take optional argument `passthru` for custom passthru attribute set.

Update the `meta` attribute via `<pkg>.overrideAttrs` instead of
attribute set update (`//`).

Attach attributes `owner`, `repo` and `rev` via `passthru` instead of
attribute set update.
2024-05-19 10:25:17 +02:00
Yueh-Shun Li 6425e3f363 fetchFromGitHub: force re-fetch when rev changes
Prefix the default value of `name` with `rev` to force re-fetch
everytime `rev` changes.
2024-05-19 10:25:17 +02:00