docs #53

	name: docs
	on:
	workflow_dispatch:
	inputs:
	version:
	description: 'Version (e.g. "v0.5")'
	type: string
	required: true
	latest:
	description: 'latest'
	type: boolean
	dev:
	description: 'dev'
	type: boolean

	env:
	GIT_USER: "github-actions"
	GIT_EMAIL: "github-actions@github.com"

	jobs:
	docs:
	name: update docs ${{ inputs.version }}
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@v3

	- name: setup python
	uses: actions/setup-python@v4
	with:
	python-version: '3.10'

	- name: setup go
	uses: actions/setup-go@v3

	- name: install mkdocs and mike
	run: pip install mkdocs-material mike

	- name: set 'latest' alias
	if: inputs.latest
	run: echo 'alias=latest' >> $GITHUB_ENV

	- name: set 'dev' alias
	if: inputs.dev
	run: echo 'alias=dev' >> $GITHUB_ENV

	- name: fetch gh-pages branch
	run: \|
	git config --global user.email "$GIT_EMAIL"
	git config --global user.name "$GIT_USER"
	git fetch origin gh-pages --depth=1

	- name: mike deploy
	run: \|
	cp -f charts/zora/README.md docs/helm-chart.md
	cp -f charts/zora/values.yaml docs/values.yaml
	mike deploy --update-aliases ${{ inputs.version }} ${{ env.alias }}

	- name: update titles and push
	run: \|
	git checkout gh-pages
	go run update_titles.go
	git add versions.json
	git diff-index --quiet HEAD \|\| git commit -m "update titles"
	git push origin gh-pages

Provide feedback