From 3dc5011a703a4eaad08bc812d66671ba078fd76d Mon Sep 17 00:00:00 2001
From: Anshuman Suri <as9rw@virginia.edu>
Date: Wed, 10 Jan 2024 08:56:43 -0500
Subject: [PATCH] Add token for documentation workflow

---
 .github/workflows/generate_documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/generate_documentation.yml b/.github/workflows/generate_documentation.yml
index e9c4d0b..2943da9 100644
--- a/.github/workflows/generate_documentation.yml
+++ b/.github/workflows/generate_documentation.yml
@@ -40,4 +40,4 @@ jobs:
           git config --local user.name "GitHub Actions"
           git add docs/
           git commit -m "Update documentation" -a || exit 0  # Exit if nothing to commit
-          git push
+          git push https://${{ secrets.MIMIR_PAT }}@github.com/${{ github.repository }}.git