From 8027d92b47e8fa2143fbfcdd391ad0301fcd9423 Mon Sep 17 00:00:00 2001
From: dasm <maegereg@gmail.com>
Date: Wed, 6 Aug 2025 11:59:17 -0700
Subject: [PATCH 1/2] Switch to tumult-tools action.

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

diff --git a/.github/workflows/commit.yml b/.github/workflows/commit.yml
index 3d3aef72..2b2b06fe 100644
--- a/.github/workflows/commit.yml
+++ b/.github/workflows/commit.yml
@@ -42,7 +42,7 @@ jobs:
           name: dist
           path: dist
       - name: Push docs
-        uses: ./.github/actions/push_docs
+        uses: opendp/tumult-tools/actions/push_docs@1c7b4b3cfa98ab75f3c5b0b91858c897a81629ad
         with:
           docs-repository: opendp/tumult-docs
           docs-repository-token: ${{ secrets.DOCS_REPO_PAT }}

From 1fbc670a27cb26d38071b3a480d87a448f203bac Mon Sep 17 00:00:00 2001
From: dasm <maegereg@gmail.com>
Date: Wed, 6 Aug 2025 12:19:41 -0700
Subject: [PATCH 2/2] Delete local version.

---
 .github/actions/push_docs/action.yml | 57 ----------------------------
 1 file changed, 57 deletions(-)
 delete mode 100644 .github/actions/push_docs/action.yml

diff --git a/.github/actions/push_docs/action.yml b/.github/actions/push_docs/action.yml
deleted file mode 100644
index bf17fbd8..00000000
--- a/.github/actions/push_docs/action.yml
+++ /dev/null
@@ -1,57 +0,0 @@
-name: 'Push Docs'
-description: 'Build the docs in the current repository, and push it to another.'
-inputs:
-  docs-repository:
-    description: The organization/name of the docs repository.
-    required: true
-  docs-repository-token:
-    description: A token that grants read/write access to the docs repository.
-    required: true
-  docs-path:
-    description: The path to the current set of docs (e.g. core vs analytics) within the docs repository.
-    required: true
-  version:
-    description: The version of the docs to push to.
-    required: true
-  dry-run:
-    description: If true, pushes to a new branch rather than the default branch.
-    required: false
-    default: false
-runs:
-  using: composite
-  steps:
-    - name: Get commit
-      id: commit
-      run: echo "COMMIT=$(git rev-parse --short HEAD)" >> "$GITHUB_OUTPUT"
-      shell: bash
-    - run: uv run nox -s docs
-      shell: bash
-    - run: rm -r public/.doctrees
-      shell: bash
-    - name: Checkout docs repository
-      uses: actions/checkout@v4
-      with:
-        repository: ${{ inputs.docs-repository }}
-        token: ${{ inputs.docs-repository-token }}
-        path: docs-repo
-    - run: rm -r docs-repo/${{ inputs.docs-path }}/${{ inputs.version }}
-      shell: bash
-    - run: mv public docs-repo/${{ inputs.docs-path }}/${{ inputs.version }}
-      shell: bash
-    - name: update version information
-      working-directory: docs-repo
-      run: python update-versions.py ${{ inputs.docs-path }}/
-      shell: bash
-    - name: commit to docs repo
-      working-directory: docs-repo
-      env:
-        COMMIT: ${{ steps.commit.outputs.COMMIT}}
-      run: |
-        git config user.name "docs-bot"
-        git config user.email "87283505+opendp-dev@users.noreply.github.com"
-        git config --global push.autoSetupRemote true
-        if [ ${{ inputs.dry-run }} == 'true' ]; then git checkout -b dry-run/$COMMIT; fi
-        git add ${{ inputs.docs-path }}
-        git commit -m "[auto] Publish docs for ${{ inputs.docs-path }} version ${{ inputs.version }} ($COMMIT)"
-        git push
-      shell: bash
\ No newline at end of file