Update doc.yml to remove --force

`mike` no longer supports this since v2.0. See also https://github.com/jimporter/mike/releases/tag/v2.0.0

.github/workflows/doc.yml

@@ -44,4 +44,4 @@ jobs:
           git fetch origin gh-pages
 
           echo "Build and deploy the doc on main"
-          mike deploy --push --force main
+          mike deploy --push main