fix: get_optional_user must use optional_oauth #115

	name: generate docs

	on:
	push:
	branches:
	- master
	workflow_dispatch:
	jobs:
	build-docs:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@master
	with:
	fetch-depth: 0
	- uses: actions/setup-python@v3
	with:
	python-version: "3.10"
	- name: Install Poetry
	run: pip install poetry
	- name: install
	working-directory: backend/src
	run: poetry install
	- name: Build documentation
	working-directory: backend/src
	run: \|
	poetry run mkdocs build -f ../../mkdocs.yml
	- name: Copy site
	run: \|
	mkdir -p gh-pages
	touch gh-pages/.nojekyll
	cp -r _site/* gh-pages
	- name: Deploy documentation
	if: ${{ github.event_name == 'push' }}
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages
	folder: gh-pages
	clean-exclude: \|
	coverage/*

Provide feedback