diff --git a/misc/tools.func b/misc/tools.func
index c57a6c5cd..a4fcd5e25 100644
--- a/misc/tools.func
+++ b/misc/tools.func
@@ -8750,7 +8750,7 @@ check_for_gl_release() {
   ensure_dependencies jq
 
   local repo_encoded
-  repo_encoded=$(python3 -c "import urllib.parse, sys; print(urllib.parse.quote(sys.argv[1], safe=''))" "$source" 2>/dev/null ||
+  repo_encoded=$(printf '%s' "$repo" | sed 's|/|%2F|g')
     echo "$source" | sed 's|/|%2F|g')
 
   local header=()