Add unreleased section to CHANGELOG post 0.1.13 release #7

	name: Announce a release

	on:
	push:
	tags:
	- 'announce-[0-9]+.[0-9]+.[0-9]+'

	concurrency: announce-a-release

	permissions:
	packages: write
	contents: write

	jobs:
	announce:
	name: Announcements
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@v4.1.1
	with:
	ref: "main"
	token: ${{ secrets.RELEASE_TOKEN }}
	- name: Release notes
	uses: docker://ghcr.io/ponylang/release-bot-action:0.6.3
	with:
	entrypoint: publish-release-notes-to-github
	env:
	RELEASE_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	# - name: Zulip
	# uses: docker://ghcr.io/ponylang/release-bot-action:0.6.3
	# with:
	# entrypoint: send-announcement-to-pony-zulip
	# env:
	# ZULIP_API_KEY: ${{ secrets.ZULIP_RELEASE_API_KEY }}
	# ZULIP_EMAIL: ${{ secrets.ZULIP_RELEASE_EMAIL }}
	# - name: Last Week in Pony
	# uses: docker://ghcr.io/ponylang/release-bot-action:0.6.3
	# with:
	# entrypoint: add-announcement-to-last-week-in-pony
	# env:
	# RELEASE_TOKEN: ${{ secrets.RELEASE_TOKEN }}

	post-announcement:
	name: Tasks to run after the release has been announced
	needs:
	- announce
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@v4.1.1
	with:
	ref: "main"
	token: ${{ secrets.RELEASE_TOKEN }}
	- name: Rotate release notes
	uses: docker://ghcr.io/ponylang/release-bot-action:0.6.3
	with:
	entrypoint: rotate-release-notes
	env:
	GIT_USER_NAME: "redvers"
	GIT_USER_EMAIL: "red@contact.red"
	- name: Delete announcement trigger tag
	uses: docker://ghcr.io/ponylang/release-bot-action:0.6.3
	with:
	entrypoint: delete-announcement-tag
	env:
	GIT_USER_NAME: "redvers"
	GIT_USER_EMAIL: "red@contact.red"

Provide feedback