Browse Source

fix: docs pipeline (#5663)

Signed-off-by: Rodrigo Kellermann <kellermann@gmail.com>
Rodrigo Kellermann 4 months ago
parent
commit
92cb53b2ea
1 changed files with 1 additions and 0 deletions
  1. 1 0
      .github/workflows/docs.yml

+ 1 - 0
.github/workflows/docs.yml

@@ -30,6 +30,7 @@ jobs:
         run: |
           git config user.name "$GITHUB_ACTOR"
           git config user.email "$GITHUB_ACTOR@users.noreply.github.com"
+          git config url.https://${GITHUB_TOKEN}@github.com/.insteadOf https://github.com/
 
       - name: Build Docs
         run: make docs.publish