update_docs #1

	name: UpdateDocs

	on:
	repository_dispatch:
	types: [update_docs]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	with:
	submodules: true
	fetch-depth: 0
	ref: 'main'

	- name: sync docs source
	run: \|
	git submodule update --remote --rebase docs

	- name: build docs
	run: \|
	pip install mkdocs-material
	mkdocs build

	- name: sync to server
	uses: burnett01/[email protected]
	with:
	switches: -rv --delete
	path: site/
	remote_path: /home/wiki/wiki.sast.fun/
	remote_host: wiki.sast.fun
	remote_user: wiki
	remote_key: ${{ secrets.DEPLOY_KEY }}



	- name: commit changes
	run: \|
	git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	if $(git diff \| grep -q ""); then
	git add .
	git commit -m "update docs source"
	fi

	- name: push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.PAT }}
	force: true
	branch: main

Provide feedback