.github/workflows/dist.yml: Create release on release tag

Author: Matthias Koeppe

.github/workflows/dist.yml

@@ -39,12 +39,34 @@ jobs:
           sudo DEBIAN_FRONTEND=noninteractive apt-get install $(build/bin/sage-get-system-packages debian _bootstrap)
       - name: make dist
         run: |
-          ./bootstrap -D && ./configure --disable-download-from-upstream-url && make dist
+          ./bootstrap -D && ./configure && make dist
+        env:
+          MAKE: make -j8
       - uses: actions/upload-artifact@v3
         with:
-          path: "dist/*.tar.gz"
+          path: |
+            dist/*.tar.gz
+            upstream
           name: release_dist
 
+  release:
+
+    needs: release_dist
+    runs-on: ubuntu-latest
+    if: github.repository == 'sagemath/sage' && startsWith(github.ref, 'refs/tags/') && ! contains(github.ref, 'beta') && !contains(github.ref, 'rc')
+    steps:
+      - uses: actions/download-artifact@v3
+        with:
+          name: release_dist
+      - uses: softprops/action-gh-release@v1
+        with:
+          generate_release_notes: true
+          files: |
+            dist/*
+            upstream/*
+    permissions:
+      contents: write
+
   sdists_for_pypi:
 
     runs-on: ubuntu-latest