deps: Use mike from PyPI

Directly depending on a Git dependency is not possible for packages
uploaded to PyPI, hence we use the (outdated) PyPI version of
mike for the time being.

I have raised an upstream issue at
jimporter/mike#184, hopefully
we will get an updated PyPI release soon.

pyproject.toml

@@ -61,8 +61,8 @@ docs = [
     "mkdocs-include-dir-to-nav",
     "mknotebooks",
     "jupyter",
-    "black",                                          # formatting of signatures in docs
-    "mike@git+https://github.com/jimporter/mike.git", # no recent PyPI releases
+    "black",                                     # formatting of signatures in docs
+    "mike",
 ]
 
 [tool.setuptools]

requirements-docs.txt

@@ -80,10 +80,6 @@ idna==3.4
     #   anyio
     #   jsonschema
     #   requests
-importlib-metadata==6.8.0
-    # via mike
-importlib-resources==6.1.0
-    # via mike
 ipykernel==6.25.2
     # via
     #   jupyter
@@ -192,7 +188,7 @@ matplotlib-inline==0.1.6
     #   ipython
 mergedeep==1.3.4
     # via mkdocs
-mike @ git+https://github.com/jimporter/mike.git
+mike==1.1.2
     # via lakefs-spec (pyproject.toml)
 mistune==3.0.2
     # via nbconvert
@@ -438,5 +434,3 @@ websocket-client==1.6.4
     # via jupyter-server
 widgetsnbextension==4.0.9
     # via ipywidgets
-zipp==3.17.0
-    # via importlib-metadata