Shorten workspace prefix #109

	name: Publish docs via GitHub Pages
	on:
	push:
	branches:
	- main
	paths:
	- mkdocs.yml
	- "docs/**"
	- "overrides/**"

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	publish-docs-to-current:
	name: Publish docs to 'current'
	runs-on: ubuntu-latest
	container:
	image: eoepca/mkdocs-material
	steps:
	- name: Checkout main
	uses: actions/checkout@v2
	- name: Configure git
	run: \|
	git config --global --add safe.directory "${GITHUB_WORKSPACE}"
	git config --global user.name "EOEPCA CI"
	git config --global user.email "[email protected]"
	git fetch origin gh-pages --depth=1
	- name: Publish version
	run: mike deploy --push --update-aliases current latest

Provide feedback