Fix docs job not publishing website correctly

arunkumar9t2 · Jan 2, 2020 · 8bf49c7 · 8bf49c7
1 parent 84ea8e3
commit 8bf49c7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -25,9 +25,10 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           echo "Setting up git"
-          git remote set-url origin https://x-access-token:$GITHUB_TOKEN@github.com/${{ github.repository }}.git
-          git config --global user.email "action@github.com"
-          git config --global user.name "GitHub Action"
+          git config --global user.name "${GITHUB_ACTOR}"
+          git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
+          git remote rm origin
+          git remote add origin https://x-access-token:$GITHUB_TOKEN@github.com/${{ github.repository }}.git
 
       - name: Publish to gh-pages
-        run: mkdocs gh-deploy -v
+        run: mkdocs gh-deploy -v --config-file "${GITHUB_WORKSPACE}/mkdocs.yml" --force
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -47,6 +47,7 @@ markdown_extensions:
   - toc:
       permalink: true
 
+
 # Customization
 extra_css:
   - "css/site.css"