chore: Remove legacy executive_summary and empty docs_backup directories #1

	name: Deploy MkDocs to GitHub Pages

	on:
	push:
	branches:
	- newrevision # Deploy from newrevision for testing
	- master # Deploy from master for production
	workflow_dispatch:

	permissions:
	contents: write # Required for gh-pages deployment

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0 # Fetch all history for git info

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.x'

	- name: Cache dependencies
	uses: actions/cache@v3
	with:
	key: ${{ github.ref }}
	path: .cache

	- name: Install dependencies
	run: \|
	pip install mkdocs-material
	pip install pymdown-extensions

	- name: Configure Git
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"

	- name: Deploy to GitHub Pages
	run: \|
	mkdocs gh-deploy --force --clean --verbose

Provide feedback