doc: add users #336

	name: Release Create

	on:
	pull_request:
	types: [closed]

	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	jobs:
	check-release-conditions:
	runs-on: ubuntu-latest
	if: \|
	github.event.pull_request.merged == true &&
	github.event.pull_request.base.ref == 'main' &&
	startsWith(github.event.pull_request.head.ref, 'release/v') &&
	startsWith(github.event.pull_request.user.login, 'github-actions')

	steps:
	- name: Check release conditions
	run: \|
	echo "All conditions have been met!"

	release-script-test:
	needs: check-release-conditions
	uses: ./.github/workflows/release-script-tests.yml

	create-release:
	permissions:
	contents: write
	needs: release-script-test
	runs-on: ubuntu-latest
	if: ${{ needs.release-script-test.result == 'success' }}

	env:
	NEXT_RELEASE_TAG: ${{ github.event.pull_request.head.ref }}
	steps:
	- name: Checkout
	uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7

	- name: Prepare Python
	uses: actions/setup-python@f677139bbe7f9c59b41e40162b753c062f5d49a3 # v5.2.0
	with:
	cache: 'pip' # caching pip dependencies

	- name: Install dependencies
	run: pip install -r ./tools/release/requirements.txt

	- name: Extract Tag from branch name
	run: \|
	NEXT_RELEASE_TAG=$(echo $NEXT_RELEASE_TAG \| sed 's/^release\///')
	echo "NEXT_RELEASE_TAG=${NEXT_RELEASE_TAG}" >> $GITHUB_ENV

	- name: Target release Tag
	run: echo "New tag $NEXT_RELEASE_TAG"

	- name: Amalgamation
	run: ./singleheader/amalgamate.py

	- name: "Create release"
	run: ./tools/release/create_release.py

Provide feedback