fix workflow not creating a tag

Author: hardcorefactions

.github/workflows/build.yml

@@ -37,6 +37,13 @@ jobs:
         id: vars
         run: echo "sha_short=$(git rev-parse --short HEAD)" >> $GITHUB_OUTPUT
 
+      - name: Create and push tag
+        run: |
+          git config user.name "${{ github.actor }}"
+          git config user.email "${{ github.actor }}@users.noreply.github.com"
+          git tag release-${{ steps.vars.outputs.sha_short }}
+          git push origin release-${{ steps.vars.outputs.sha_short }}
+
       - name: Create GitHub Release
         uses: softprops/action-gh-release@v1
         with:

.gitignore

@@ -16,4 +16,5 @@ buildNumber.properties
 # JDT-specific (Eclipse Java Development Tools)
 .classpath
 .idea/
-scripts/*.jar
+scripts/*.jar
+*.iml