CI: use gh-pages-action

Signed-off-by: Karol Gugala <kgugala@antmicro.com>

.github/workflows/Pipeline.yml

@@ -82,6 +82,8 @@ jobs:
         run: |
           . ./docs/env/conda/bin/activate f4pga-docs
           make -C docs html
+          cd docs/_build/html
+          touch .nojekyll
 
       - name: '📤 Upload artifact: Sphinx HTML'
         uses: actions/upload-artifact@v3
@@ -91,17 +93,10 @@ jobs:
 
       - name: 🚀 Publish site to GitHub Pages
         if: github.event_name != 'pull_request'
-        run: |
+        uses: peaceiris/actions-gh-pages@v3
-          cd docs/_build/html
+        with:
-          touch .nojekyll
+          github_token: ${{ secrets.GITHUB_TOKEN }}
-          git init
+          publish_dir: docs/_build/html
-          cp ../../../.git/config ./.git/config
-          git add .
-          git config --local user.email "BuildTheDocs@GitHubActions"
-          git config --local user.name "GitHub Actions"
-          git commit -a -m "update ${{ github.sha }}"
-          git push -u origin +HEAD:gh-pages
-
 
   Install:
     runs-on: ubuntu-latest