feat: use github releases for installing extensions

2023-01-18 17:38:36 +02:00
parent 38a132604b
commit 496346b3ba
6 changed files with 139 additions and 51 deletions
@@ -73,7 +73,7 @@ async def get_user(user_id: str, conn: Optional[Connection] = None) -> Optional[
 async def add_installed_extension(
    *,
    ext_id: str,
-    version,
+    version: str,
    active: bool,
    hash: str,
    meta: dict,