Merge pull request MLton#589 from MatthewFluet/sourceforge-release-wo…

…rkflow

Create a GitHub action to automate creation of SourceForge release

.github/workflows/release.yml

@@ -30,3 +30,10 @@ jobs:
     with:
       mlton-version: ${{ needs.mlton-version.outputs.mlton-version }}
     secrets: inherit
+
+  sourceforge-release:
+    needs: [mlton-version, source-release, binary-release]
+    uses: ./.github/workflows/sourceforge-release.yml
+    with:
+      mlton-version: ${{ needs.mlton-version.outputs.mlton-version }}
+    secrets: inherit

.github/workflows/sourceforge-release.yml

@@ -0,0 +1,44 @@
+name: SourceForge Release
+
+on
+  workflow_dispatch:
+    inputs:
+      mlton-version:
+        required: true
+        type: string
+  workflow_call:
+    inputs:
+      mlton-version:
+        required: true
+        type: string
+
+jobs:
+  sourceforge-release:
+    runs-on: ubuntu-24.04
+    env:
+      SSH_KEY_RSA: ${{ secrets.MLTON_WEBMASTER_SSH_KEY_RSA }}
+      SSH_KEY_ED25519: ${{ secrets.MLTON_WEBMASTER_SSH_KEY_ED25519 }}
+      SSH_CONFIG: ${{ secrets.MLTON_WEBMASTER_SSH_CONFIG }}
+      SSH_KNOWN_HOSTS: ${{ secrets.MLTON_WEBMASTER_SSH_KNOWN_HOSTS }}
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          sparse-checkout: .github
+          ref: ${{ inputs.checkout-ref || 'master' }}
+      - name: Download release assets
+        run: gh release download on-${{ inputs.mlton-version }}-release --dir assets --pattern '*'
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Create SourceForge release directory
+        run: sftp -b <(echo "-mkdir ${{ inputs.mlton-version }}") mlton-webmaster,[email protected]:/home/frs/project/mlton/mlton
+      - name: Upload release assets to SourceForge
+        run: rsync -azP --delete -e ssh assets/ mlton-webmaster,[email protected]:/home/frs/project/mlton/mlton/${{ inputs.mlton-version }}/
+      - name: Upload release guide to SourceForge
+        run: |
+          tar xzf assets/mlton-${{ inputs.mlton-version }}.src.tgz
+          cd mlton-${{ inputs.mlton-version }}/doc/guide
+          mv localhost ${{ inputs.mlton-version }}
+          tar czf guide-${{ inputs.mlton-version }}.tgz ${{ inputs.mlton-version }}
+          rsync -azP --delete -e ssh ${{ inputs.mlton-version }} mlton-webmaster,[email protected]:/home/project-web/mlton/htdocs/guide/
+rsync -azP --delete -e ssh guide-${{ inputs.mlton-version }} mlton-webmaster,[email protected]:/home/project-web/mlton/htdocs/guide/