Merge release v0.1.13 #19

	name: Handle Release Tag

	on:
	push:
	tags:
	- 'v*'

	jobs:
	create_release:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	submodules: true
	fetch-tags: true
	fetch-depth: 0
	- name: Repair tag
	run: git fetch -f origin ${{ github.ref }}:${{ github.ref }}
	- name: Verify that the tag is annotated
	run: if test x$(git for-each-ref ${{ github.ref }} \| awk '{print $2}') = xtag; then /bin/true; else echo "\"${{ github.ref }}\" does not look like an annotated tag!"; /bin/false; fi
	- name: Submodule status
	run: git submodule status
	- name: Collect manifests
	run: make manifests
	- name: Release
	uses: softprops/action-gh-release@v1
	with:
	#prerelease: true
	generate_release_notes: true
	files: \|
	manifests.tar
	manifests-kind.tar

Provide feedback