Force push #7

	name: Publish documentation

	on: [push, pull_request, workflow_dispatch]

	permissions:
	contents: write

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	- name: Install dependencies
	run: \|
	pip install sphinx sphinx_rtd_theme myst_parser
	- name: Sphinx build
	run: \|
	sphinx-build source docs
	- name: Publish to docs branch
	run: \|
	git config --global user.name "GitHub Action"
	git config --global user.email "[email protected]"
	git switch -C docs
	git add .
	git commit -m "Upload docs"
	git remote remove origin
	git remote add origin https://github.com/git-mastery/git-autograder.git
	git push --force origin docs

Provide feedback