Store individual node indexes (as preparation of allowing 'missing' nodes) #14

	name: Merged to Main
	on:
	pull_request:
	types: [ closed ]
	branches: [ 'main' ]

	permissions:
	contents: read

	jobs:
	MergedtoMain:
	if: github.event.pull_request.merged == true
	name: Merged to Main
	runs-on: ubuntu-latest
	permissions:
	# write permission is required to create a github release
	contents: write
	pull-requests: write
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Extract build info
	id: extract_build_info
	run: \|
	echo "commit_short=$(git rev-parse --short HEAD)" >> $GITHUB_OUTPUT

	- name: Update Release Draft
	uses: release-drafter/release-drafter@v6
	with:
	disable-autolabeler: true
	commitish: main
	publish: false
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback