docs: Add a first wiki entry

NiBa97 · Apr 5, 2024 · d5725c6 · d5725c6
1 parent 074c908
commit d5725c6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/wiki-sync.yml b/.github/workflows/wiki-sync.yml
@@ -6,7 +6,7 @@ on:
       - main
     paths:
       - 'wiki/**'
-
+  workflow_dispatch:
 jobs:
   sync:
     runs-on: ubuntu-latest
@@ -21,8 +21,8 @@ jobs:
           git clone https://github.com/${{ github.repository }}.wiki.git
           rsync -a --delete wiki/ ./${{ github.repository }}.wiki/
           cd ./${{ github.repository }}.wiki
-          git config user.name Wiki-Bot
-          git config user.email wiki-bot@users.noreply.github.com
+          git config user.name WikiBot
+          git config user.email wiki_bot@users.noreply.github.com
           git add .
           git commit -m "docs: Update wiki" || echo "No changes to commit"
           git push

diff --git a/wiki/home.md b/wiki/home.md
@@ -0,0 +1 @@
+First wiki entry.