Merge pull request #97894 from TethysSvensson/fixBusybox

busybox: Fix 404 error by using git instead
2020-09-13 14:25:22 -04:00
parent 7849d11478 a9597f9573
commit f5fdc6b240
2 changed files with 13 additions and 7 deletions
@@ -12,7 +12,7 @@ let
    ((optional (group != null) group) ++ [ owner repo ]);

  escapedSlug = replaceStrings ["." "/"] ["%2E" "%2F"] slug;
-  escapedRev = replaceStrings ["+"] ["%2B"] rev;
+  escapedRev = replaceStrings ["+" "%" "/"] ["%2B" "%25" "%2F"] rev;
 in

 fetchzip ({