Update do-the-release-thing.yaml #13

	name: Create release from tag

	on:
	push:
	tags:
	- "v3*"

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: write
	id-token: write

	# Allow one concurrent deployment
	concurrency:
	group: "release"
	cancel-in-progress: true

	jobs:
	# Single deploy job since we're just deploying
	release:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	#- name: Set up JDK 17
	# uses: actions/setup-java@v3
	# with:
	# java-version: "17"
	# distribution: "adopt"

	- name: Scala to JS
	# run: ./mill js.fullLinkJS
	run: touch main.js

	- uses: olegtarasov/[email protected]
	id: tagName

	- name: Rename JS File to Release Name
	run: \|
	mv main.js ${{steps.tagName.outputs.tag}}.js

	- name: Get the release json file
	- uses: actions/checkout@v4
	with:
	ref: hub
	sparse-checkout: \|
	info.json
	update.py
	sparse-checkout-cone-mode: false

	- name: Update the releases file
	run: \|
	python update.py info.json ${{steps.tagName.outputs.tag}}

	- uses: stefanzweifel/git-auto-commit-action@v5
	with:
	branch: hub

Provide feedback