v0.13.0 #6

	# This workflow takes the GitHub release notes an updates the changelog on the
	# main branch with the body of the release notes, thereby keeping a log in
	# the git repo of the changes.

	name: "Update Changelog"

	on:
	release:
	types: [released]

	jobs:
	update:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout code
	uses: actions/checkout@v2
	with:
	ref: main

	- name: Update Changelog
	uses: stefanzweifel/changelog-updater-action@v1
	with:
	release-notes: ${{ github.event.release.body }}
	latest-version: ${{ github.event.release.name }}
	path-to-changelog: CHANGES.md

	- name: Commit updated CHANGELOG
	uses: stefanzweifel/git-auto-commit-action@v4
	with:
	branch: main
	commit_message: Update CHANGELOG
	file_pattern: CHANGES.md

Provide feedback