Merge remote-tracking branch 'origin/docs-0.8' #346

	name: Merge main to docs-0.8 on New Earthly Release

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

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	jobs:
	main-to-docs:
	name: merge main to docs-0.8
	runs-on: "ubuntu-latest"
	env:
	FORCE_COLOR: 1
	EARTHLY_TOKEN: "${{ secrets.EARTHLY_TOKEN }}"
	EARTHLY_INSTALL_ID: "earthly-githubactions"
	DOCKERHUB_MIRROR_USERNAME: "${{ secrets.DOCKERHUB_MIRROR_USERNAME }}"
	DOCKERHUB_MIRROR_PASSWORD: "${{ secrets.DOCKERHUB_MIRROR_PASSWORD }}"
	# Used in our github action as the token - TODO: look to change it into an input
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	steps:
	- uses: actions/checkout@v4
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	- uses: earthly/actions-setup@main
	- name: Execute merge
	run: earthly --push --ci +merge-main-to-docs

Provide feedback