diff options
author | Griffin Smith <grfn@gws.fyi> | 2021-03-27T16·05-0400 |
---|---|---|
committer | glittershark <grfn@gws.fyi> | 2021-03-27T16·10+0000 |
commit | 4a17fe59227f67d299737bf50c27137b5c7459b3 (patch) | |
tree | 0919e6c1602cb174c439cddac80f26cb6a6e8ccc /web | |
parent | 03a2616ccb7437fa72f4cec557816e6aa5b5b112 (diff) |
fix(3p/lisp/puri): Use fetchgit for source, update version r/2351
Something changed in the upstream we fetch this source from that's causing the fetch to fail - I can only assume it's a yanked rev, but I'm not really sure. fetchgit from nixpkgs appears to be a little bit more robust than builtins.fetchGit, so let's switch to that, and also upgrade to a rev that we know is present. Fixes: b/96 Change-Id: I8983c2df11ab4fa20f60915f950c6a7378efd2fd Reviewed-on: https://cl.tvl.fyi/c/depot/+/2691 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions