From f27721465d0fbba2cae1cc6bf30d8a8504ca1dcf Mon Sep 17 00:00:00 2001
From: "Pablo R. Mier" <pablo.rodriguez.mier@gmail.com>
Date: Thu, 9 May 2024 12:09:33 +0200
Subject: [PATCH] Try to fix error geting id

---
 .github/workflows/deploy-docs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 94c0ce1d..dc8d4df2 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -65,3 +65,5 @@ jobs:
           git add .
           git commit -m "Update docs for branch $BRANCH_NAME"
           git push -u origin gh-pages
+        env:
+            GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}