From 28337abed7b6276d8af79400f1f8bf966c2a5359 Mon Sep 17 00:00:00 2001 From: Anthony van Winkle Date: Sun, 11 Aug 2024 17:57:03 -0700 Subject: [PATCH] Versions json and mike ci git credentials --- .github/workflows/deploy.yml | 5 ++++- versions.json | 4 ++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 versions.json diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 9b6377c2d4..f1bf87360e 100644 --- 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 new file mode 100644 index 0000000000..5c9bd376d4 --- /dev/null +++ b/versions.json @@ -0,0 +1,4 @@ +[ + {"version": "0.57", "title": "0.57", "aliases": ["latest"]}, + {"version": "0.80", "title": "0.90", "aliases": [], "properties": "gmc"} +] \ No newline at end of file