Update pycrdt >=0.8.2 (#379)

* Update pycrdt >=0.8.2

* Fix typing

Author: davidbrochart

jupyverse_api/jupyverse_api/exceptions.py

@@ -1,4 +1,6 @@
-from fastapi import Request, Response
+from typing import cast
+
+from fastapi import Request
 from fastapi.responses import RedirectResponse
 
 
@@ -7,5 +9,6 @@ def __init__(self, redirect_to: str):
         self.redirect_to = redirect_to
 
 
-async def _redirect_exception_handler(request: Request, exc: RedirectException) -> Response:
+async def _redirect_exception_handler(request: Request, exc: Exception) -> RedirectResponse:
+    exc = cast(RedirectException, exc)
     return RedirectResponse(url=exc.redirect_to)

plugins/yjs/pyproject.toml

@@ -8,7 +8,7 @@ description = "An FPS plugin for the Yjs API"
 keywords = [ "jupyter", "server", "fastapi", "plugins" ]
 requires-python = ">=3.8"
 dependencies = [
-    "pycrdt >=0.7.2,<0.8.0",
+    "pycrdt >=0.8.2,<0.9.0",
     "jupyverse-api >=0.1.2,<1",
 ]
 dynamic = [ "version",]