Archive a section #1

# to view logs

	name: Archive a section
	on:
	workflow_dispatch:
	inputs:
	sectionid:
	type: string
	description: ID of section to archive
	required: true
	jobs:
	archive:
	name: Archive specified section
	runs-on: ubuntu-latest
	steps:

	# Using PAT instead of default GITHUB_TOKEN so that the push triggers the workflow that updates the server
	- uses: actions/checkout@v4
	with:
	token: ${{ secrets.PAT }}
	preserve-credentials: true

	- name: Push new file
	uses: nick-fields/retry@v2
	with:
	timeout_minutes: 10
	max_attempts: 50
	shell: bash
	command: \|
	set -x
	git config --global --add safe.directory "$GITHUB_WORKSPACE"
	git pull origin main \|\| git reset --hard origin/main
	git config user.name github-actions
	git config user.email github-actions@github.com
	bash .github/scripts/archive_section.sh ${{inputs.sectionid}} generated/workshop-toolconf-values.yaml
	git add ./generated
	git commit -m "Archived section '${{inputs.sectionid}}'"
	git push

Provide feedback