From 4809321fb72fb688589bf171bae138430df606af Mon Sep 17 00:00:00 2001
From: miguelgfierro <miguelgfierro@users.noreply.github.com>
Date: Thu, 4 Jan 2024 19:21:30 +0100
Subject: [PATCH] trying github token

Signed-off-by: miguelgfierro <miguelgfierro@users.noreply.github.com>
---
 .github/workflows/update_documentation.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/update_documentation.yml b/.github/workflows/update_documentation.yml
index e7e62d553..a0419ff03 100644
--- a/.github/workflows/update_documentation.yml
+++ b/.github/workflows/update_documentation.yml
@@ -57,4 +57,6 @@ jobs:
           git config user.name "GitHub Actions"
           git add * -f
           git commit -m "Update documentation"
-          git push origin HEAD:gh-pages
\ No newline at end of file
+          git push origin HEAD:gh-pages
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file