Update extracted files (#542) #30

	# This action will copy changes from main into the v7.1 branch, and is done whenever the main branch is updated.
	#
	# For documentation on the github environment, see
	# https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
	#
	# For documentation on the syntax of this file, see
	# https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions
	---
	name: Build

	on:
	push:
	branches: [main]

	permissions:
	contents: read

	jobs:
	merge-to-v71:
	permissions:
	contents: write # for Git to git push
	pull-requests: write # for Git to create a pull request
	runs-on: ubuntu-latest

	steps:
	- name: Check out GEDCOM
	uses: actions/checkout@v4

	- name: Set git config
	env:
	GH_TOKEN: ${{ github.token }}
	run: \|
	git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
	git config --global user.name "$(gh api /users/${GITHUB_ACTOR} \| jq .name -r)"
	git config -l

	- name: Check for diffs
	id: diff
	run: \|
	git fetch origin
	git diff --quiet origin/main..origin/v7.1 \|\| echo "::set-output name=status::changes"

	- name: Create Pull Request
	if: steps.diff.outputs.status == 'changes'
	run: \|
	git checkout -b merge-main-into-v7.1
	git push -f --set-upstream origin merge-main-into-v7.1
	if ! gh pr list \| grep -q "merge-main-into-v7.1"; then
	gh pr create -B v7.1 -H merge-main-into-v7.1 --title 'Merge main into v7.1' --body $'Copy changes from main to v7.1\nThis PR is auto-generated by [gh pr create].' --label 'automated pr' --repo ${{ github.repository }}
	fi
	env:
	GH_TOKEN: ${{ github.token }}

Provide feedback