Fix RequestHandlerGithub heuristics, so that Github Releases files work properly

This commit is contained in:
comp500 2020-06-20 03:15:18 +01:00
parent 1d5a787b02
commit 92b44352b3

View File

@ -65,7 +65,7 @@ class RequestHandlerGithub : RequestHandlerZip(true) {
if (!("http" == scheme || "https" == scheme)) {
return false
}
return "github.com" == loc.host
// TODO: sanity checks, support for more github urls
// TODO: more match testing?
return "github.com" == loc.host && branchMatcherPattern.matcher(loc.path).matches()
}
}