Merge pull request #1008 from marquiz/devel/deps #121

	name: Publish

	on:
	push:
	branches:
	- master
	- release-*
	tags:
	- v*

	jobs:
	update-gh-pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1

	- name: Turnstyle
	uses: softprops/turnstyle@v1
	with:
	abort-after-seconds: 600
	same-branch-only: false
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Fetch gh-pages
	run: git fetch --no-tags --prune --depth=1 origin refs/heads/gh-pages:refs/heads/gh-pages

	- name: Install build dependencies
	run: \|
	pip3 install --user -r docs/requirements.txt
	echo "`python3 -m site --user-base`/bin" >> $GITHUB_PATH

	- name: Add docs from this revision to gh-pages
	run: \|
	git config user.name "Github"
	git config user.email "no-reply@github.com"
	./scripts/build/update-gh-pages.sh

	- name: Publish/push to gh-pages
	shell: bash
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git push https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git gh-pages

Provide feedback