mike deploy does not push the changes - not sure why. Since it works locally, maybe manually trying to push it works

Author: SirEndii

netlify.toml

@@ -1,6 +1,5 @@
 [build]
   command = """
-    mkdocs build
     git config user.name "Version Deployment"
     git config user.email "netlifybot@example.com"
     git remote set-url origin https://${GITHUB_TOKEN}@github.com/SirEndii/Advanced-Peripherals-Documentation.git
@@ -16,6 +15,7 @@
       echo "Deploying $BRANCH"
       mike deploy --push --update-aliases 0.7 latest
     fi
+    git push --all
   """
   publish = "site" # The directory where your built MkDocs site resides