gci: Add push permission to the docs workflow

Blockstream · Feb 15, 2024 · 24dcdc0 · 24dcdc0
1 parent 358c59c
commit 24dcdc0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/docs-action.yml b/.github/workflows/docs-action.yml
@@ -65,6 +65,7 @@ jobs:
         env:
           DOCSBRANCH: "gh-pages"
           DOCSREMOTE: "origin"
+          GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
         run: |
           rm libs/gl-client-py/glclient/*.pyi
           PATH=$(pwd)/.venv/bin:$PATH make docs
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -3,11 +3,13 @@ site_url: https://blockstream.github.io/greenlight/
 docs_dir: src
 repo_url: https://github.com/Blockstream/greenlight
 edit_uri: tree/main/docs/src
+
 plugins:
   - social
   - redirects:
       redirect_maps:
         'reference/partner-certs.md': 'getting-started/certs.md'
+
 markdown_extensions:
   - admonition
   - attr_list