fix: remove revanced-api from tools map

This commit is contained in:
Alexandre Teles
2023-08-19 17:09:26 -03:00
parent 4425f1d3d6
commit 4800ee96a8
3 changed files with 69 additions and 11 deletions

View File

@@ -52,7 +52,8 @@ async def tools(request: Request) -> JSONResponse:
repositories=[
GithubRepository(owner=owner, name=repo)
for repo in compat_repositories
if repo not in ["revanced-releases-api", "revanced-website"]
if repo
not in ["revanced-api", "revanced-releases-api", "revanced-website"]
],
dev=True if request.args.get("dev") else False,
)