fetchgitlab: Escape a few more characters in the revision

gstqt5
Tethys Svensson 2020-09-13 12:33:47 +02:00
parent 9380c61a19
commit 43cd431b44
1 changed files with 1 additions and 1 deletions

View File

@ -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 ({