From 637d27efc72e11b50da69b262943d3ca29aea14f Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 3 Apr 2023 15:22:52 +0200
Subject: [PATCH] chore(deps): Bump peaceiris/actions-gh-pages from 3.9.2 to
 3.9.3 (#3216)

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

diff --git a/.github/workflows/docs-production-deploy.yml b/.github/workflows/docs-production-deploy.yml
index 38219a96..73d15272 100644
--- a/.github/workflows/docs-production-deploy.yml
+++ b/.github/workflows/docs-production-deploy.yml
@@ -59,7 +59,7 @@ jobs:
             {} +
 
       - name: 'Deploy to Github Pages'
-        uses: peaceiris/actions-gh-pages@v3.9.2
+        uses: peaceiris/actions-gh-pages@v3.9.3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           # Build directory contents to publish to the `gh-pages` branch: