From 3a2576abe21de071fd609067aff850e588784041 Mon Sep 17 00:00:00 2001
From: "marimo-github-maintenance-bot[bot]"
 <267743655+marimo-github-maintenance-bot[bot]@users.noreply.github.com>
Date: Mon, 6 Apr 2026 09:29:58 +0000
Subject: [PATCH] chore: update .github/workflows/docs.yml via
 github-maintenance

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 6d96aa3..23a2f97 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -30,7 +30,7 @@ jobs:
       - name: Deploy to gh-pages
         # TODO: replace with a maintained action
         if: github.event_name == 'push' && github.ref == 'refs/heads/main'
-        uses: oprypin/push-to-gh-pages@v3
+        uses: oprypin/push-to-gh-pages@b16c4c1926875f4d9fce26ffc60a623b003231d2 # v3
         with:
           publish_dir: site
           commit_message: 'Generate docs: '