fix: comment out f37 backporting for now

2026-05-31 09:01:55 +00:00 · 2023-09-23 02:08:07 -07:00
parent 75cb32ad90
commit 7c773b4ddc
1 changed files with 8 additions and 8 deletions
@@ -39,13 +39,13 @@ jobs:
            git config user.signingkey "${{ runner.temp }}/signing_key"
            msg="bump: $(git status | grep modified | sed -r 's@.+/([^/]+)/[^/]+\n?@\1 @g' | tr -d '\n')"
            git commit -S -a -m "$msg"
-            f37 () {
-              git format-patch HEAD^
-              git checkout f37
-              git apply *.patch || true
-              git add *
-              git commit -S -a -m "$msg"
-            }
-            f37 || true
+            # f37 () {
+            #   git format-patch HEAD^
+            #   git checkout f37
+            #   git apply *.patch || true
+            #   git add *
+            #   git commit -S -a -m "$msg"
+            # }
+            # f37 || true
            git push -u origin --all
          fi