From 272b3460f850043debe909a57324d67dbefc3076 Mon Sep 17 00:00:00 2001
From: Paul Wise <pabs3@bonedaddy.net>
Date: Sat, 18 Mar 2023 14:31:10 +0800
Subject: [PATCH] Export commit updating built docs as patch/bundle instead of
 diff

Also upload the patch/bundle as an artifact.
---
 .github/workflows/tests.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 7992526ba8..71cd2a39af 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -50,7 +50,19 @@ jobs:
         run: |
           python setup.py build_ext --inplace
           make -C docs/src clean html
-          git diff --exit-code
+          git add .
+          git commit -m 'Import documentation changes'
+          git format-patch @^
+          git bundle create fix-links.bundle @^...@
+
+      - name: Upload patch/bundle as artifacts
+        if: always()
+        uses: actions/upload-artifact@v3
+        with:
+          name: fix-links-get-patch
+          path: |
+            *.patch
+            *.bundle
       #
       # FIXME: do we want to store the built documentation somewhere, or is
       # knowing that the docs built successfully enough?