From 8b0f0f2b5aa5f77ff9e15a93ffb1cb7e98345da2 Mon Sep 17 00:00:00 2001
From: Richard Si <63936253+ichard26@users.noreply.github.com>
Date: Sat, 13 Aug 2022 19:47:27 -0400
Subject: [PATCH 1/2] Update stable branch after publishing to PyPI

We've decided to a) convert stable back into a branch and b) to update
it immediately as part of the release process. We may as well automate
it.
---
 .github/workflows/pypi_upload.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/pypi_upload.yml b/.github/workflows/pypi_upload.yml
index 31a83266345..8248837184c 100644
--- a/.github/workflows/pypi_upload.yml
+++ b/.github/workflows/pypi_upload.yml
@@ -74,3 +74,22 @@ jobs:
         env:
           TWINE_PASSWORD: ${{ secrets.PYPI_TOKEN }}
         run: pipx run twine upload --verbose -u '__token__' wheelhouse/*.whl
+
+  update-stable-branch:
+    name: Update stable branch
+    needs: [main, mypyc]
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+
+    steps:
+      - name: Checkout stable branch
+        uses: actions/checkout@v3
+        with:
+          ref: stable
+          fetch-depth: 0
+
+      - name: Update stable branch to release tag & push
+        run: |
+          git reset --hard ${{ github.event.release.tag_name }}
+          git push --force

From 683ea383ac298918960980914c1526610807356d Mon Sep 17 00:00:00 2001
From: Richard Si <63936253+ichard26@users.noreply.github.com>
Date: Mon, 15 Aug 2022 12:57:12 -0400
Subject: [PATCH 2/2] Drop --force flag

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

diff --git a/.github/workflows/pypi_upload.yml b/.github/workflows/pypi_upload.yml
index 8248837184c..d52f41a4939 100644
--- a/.github/workflows/pypi_upload.yml
+++ b/.github/workflows/pypi_upload.yml
@@ -92,4 +92,4 @@ jobs:
       - name: Update stable branch to release tag & push
         run: |
           git reset --hard ${{ github.event.release.tag_name }}
-          git push --force
+          git push