Versions json and mike ci git credentials

missionpinball · Aug 12, 2024 · 28337ab · 28337ab
1 parent 3f2aa9c
commit 28337ab
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -30,4 +30,7 @@ jobs:
 
       - name: Build and deploy site
         #run: mkdocs gh-deploy --force
-        run: mike deploy 0.57 latest
+        run: |
+          git config user.name "mike-ci-bot"
+          git config user.email "missionpinball@users.noreply.github.com"
+          mike deploy 0.57 latest
diff --git a/versions.json b/versions.json
@@ -0,0 +1,4 @@
+[
+  {"version": "0.57", "title": "0.57", "aliases": ["latest"]},
+  {"version": "0.80", "title": "0.90", "aliases": [], "properties": "gmc"}
+]