More devel. #12

	# Script to make a PR if the push is from DCS.

	name: dcs16_push_to_pr
	on:
	push:
	branches-ignore: main

	#concurrency:
	# # Skip intermediate builds: always.
	# # Cancel intermediate builds: only if it is a pull request build.
	# group: ${{ github.workflow }}-${{ github.ref }}
	# cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}

	jobs:
	create-pull-request:
	if: ${{ github.triggering_actor == 'DavidSagan' }}

	runs-on: Ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- run: gh pr create -B main -H ${{ github.ref_name }} --title "${{ github.ref_name }}" --body "${{ github.event.head_commit.message }}"
	env:
	GITHUB_TOKEN: ${{ secrets.DCS_PUSH }}

	# secrets.DCS_PUSH allows the PR.yml workflow to be triggered by this workflow. Documentation at:
	# https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#triggering-further-workflow-runs
	# DCS_PUSH is defined: in AcceleratorLattice -> Settings -> Secrets and variables -> Actions (Repository secrets section)

Provide feedback