temporary hacks

.github/workflows/release.yml

@@ -2,6 +2,7 @@ name: release-version
 run-name: "Release ${{ github.event.ref }}"
 on:
   push:
+    branches: more-platforms
     tags:
       - "*"
 
@@ -112,41 +113,41 @@ jobs:
         env:
           GH_TOKEN: ${{ github.token }}
 
-  publish:
-    runs-on: ubuntu-latest
-    needs: build-linux
-
-    steps:
-      - name: Checkout GitHub Pages
-        uses: actions/checkout@v4
-        with:
-          ref: gh-pages
-
-      - name: Determine tag
-        run: |
-          tag=$(echo ${{github.event.ref}} | cut -d/ -f3)
-          echo "tag=${tag}" >> $GITHUB_ENV
-
-      - name: Download package artifacts
-        uses: actions/download-artifact@v4
-        with:
-          name: package
-          path: package
-
-      - name: Publish crate
-        uses: integer32llc/margo-actions@main
-        with:
-          crates: package/*.crate
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Commit and push to GitHub Pages
-        run: |-
-          set -eu
-
-          git config user.email "[email protected]"
-          git config user.name "Margo GitHub Action"
-
-          git add .
-          git commit -m "Release ${tag}"
-          git push origin gh-pages
+  # publish:
+  #   runs-on: ubuntu-latest
+  #   needs: build-linux
+
+  #   steps:
+  #     - name: Checkout GitHub Pages
+  #       uses: actions/checkout@v4
+  #       with:
+  #         ref: gh-pages
+
+  #     - name: Determine tag
+  #       run: |
+  #         tag=$(echo ${{github.event.ref}} | cut -d/ -f3)
+  #         echo "tag=${tag}" >> $GITHUB_ENV
+
+  #     - name: Download package artifacts
+  #       uses: actions/download-artifact@v4
+  #       with:
+  #         name: package
+  #         path: package
+
+  #     - name: Publish crate
+  #       uses: integer32llc/margo-actions@main
+  #       with:
+  #         crates: package/*.crate
+  #       env:
+  #         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+  #     - name: Commit and push to GitHub Pages
+  #       run: |-
+  #         set -eu
+
+  #         git config user.email "[email protected]"
+  #         git config user.name "Margo GitHub Action"
+
+  #         git add .
+  #         git commit -m "Release ${tag}"
+  #         git push origin gh-pages