From d671b89b1b6bccb431d66ba657965632eda827da Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Sun, 9 Feb 2025 15:18:10 +0530
Subject: [PATCH 1/4] Update Docs.yml

---
 .github/workflows/Docs.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
index e012053..0db924a 100644
--- a/.github/workflows/Docs.yml
+++ b/.github/workflows/Docs.yml
@@ -6,8 +6,8 @@ on:
       - main
     tags: '*'
   pull_request:
-    branches:
-      - main
+  merge_group:
+    types: [checks_requested]
 
 concurrency:
   # Skip intermediate builds: always.
@@ -25,4 +25,4 @@ jobs:
 
     steps:
       - name: Build and deploy Documenter.jl docs
-        uses: TuringLang/DocsNav/DocsDocumenter@v2
+        uses: TuringLang/actions/DocsDocumenter@main

From bce68bf7f9916ff2fda428eaec830f1b5f8f4c59 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Sun, 9 Feb 2025 15:18:53 +0530
Subject: [PATCH 2/4] Create DocsNav.yml

---
 .github/workflows/DocsNav.yml | 37 +++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 .github/workflows/DocsNav.yml

diff --git a/.github/workflows/DocsNav.yml b/.github/workflows/DocsNav.yml
new file mode 100644
index 0000000..9efd327
--- /dev/null
+++ b/.github/workflows/DocsNav.yml
@@ -0,0 +1,37 @@
+name: Rebuild docs with newest navbar
+
+on:
+  # 3:25 AM UTC every Sunday -- choose an uncommon time to avoid
+  # periods of heavy GitHub Actions usage
+  schedule:
+    - cron: '25 3 * * 0'
+  # Whenever needed
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  update-navbar:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout gh-pages branch
+        uses: actions/checkout@v4
+        with:
+          ref: gh-pages
+
+      - name: Insert navbar
+        uses: TuringLang/actions/DocsNav@main
+        with:
+          doc-path: '.'
+
+      - name: Commit and push changes
+        run: |
+          if [[ -n $(git status -s) ]]; then
+            git add -A
+            git commit -m "Update navbar (automated)"
+            git push
+          else
+            echo "No changes to commit"
+          fi

From 95c8f14064b0acfac6e2455de1d03cefcef17e47 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Sun, 9 Feb 2025 16:27:36 +0530
Subject: [PATCH 3/4] Update Docs.yml

---
 .github/workflows/Docs.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
index 0db924a..4e60a8d 100644
--- a/.github/workflows/Docs.yml
+++ b/.github/workflows/Docs.yml
@@ -6,8 +6,6 @@ on:
       - main
     tags: '*'
   pull_request:
-  merge_group:
-    types: [checks_requested]
 
 concurrency:
   # Skip intermediate builds: always.

From cf30a692133baa859c4a9683341a2418554771b4 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Sun, 9 Feb 2025 16:27:48 +0530
Subject: [PATCH 4/4] Update DocsNav.yml

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

diff --git a/.github/workflows/DocsNav.yml b/.github/workflows/DocsNav.yml
index 9efd327..7e86195 100644
--- a/.github/workflows/DocsNav.yml
+++ b/.github/workflows/DocsNav.yml
@@ -29,6 +29,8 @@ jobs:
       - name: Commit and push changes
         run: |
           if [[ -n $(git status -s) ]]; then
+            git config user.name github-actions[bot]
+            git config user.email github-actions[bot]@users.noreply.github.com
             git add -A
             git commit -m "Update navbar (automated)"
             git push