Merge branch 'development' into vdiff-update #95

	name: Pushed branch commit workflow

	on:
	#For some reason GitHub does not allow secrets
	#when a PR from a fork is closed. Thus instead
	#the workflow must activate whenever a commit
	#is pushed to the repo. Theoretically this should
	#behave the same way as if triggered from a pull
	#request, just as long as no user ever pushes
	#directly to the repo.
	push:
	branches:
	- '**' # Trigger workflow on push to any branch or branch hierarchy.

	jobs:
	#This job is designed to close any issues or pull requests specified
	#in the body of a pull request merged into a non-default branch.
	issue_closer:
	if: github.repository == 'ESCOMP/CAM-SIMA' # Only run on main repo
	runs-on: ubuntu-latest
	steps:
	# Acquire github action routines
	- uses: actions/checkout@v4
	# Acquire specific version of python
	- name: Set up Python 3.11
	uses: actions/setup-python@v5
	with:
	python-version: '3.11' # Semantic version range syntax or exact version of a Python version
	# Install required python packages
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip # Install latest version of PIP
	pip install PyGithub # Install PyGithub python package
	# Run CAM issue-closing script
	- name: Run python Github issue-closing script
	env:
	ACCESS_TOKEN: ${{ secrets.WRITE_ACCESS_TOKEN }}
	run: .github/scripts/branch_pr_issue_closer.py --access_token $ACCESS_TOKEN --trigger_sha $GITHUB_SHA

Provide feedback