refs or cleanup #196

	name: on-push-do-docs

	on:
	push:
	# Branches only: a tag push has no branch to commit regenerated docs to. Dependabot branches
	# are skipped since their bumps do not change docs, and a docs commit would restart the PR build.
	branches:
	- '**'
	- '!dependabot/**'

	# Serialize per branch, so two quick pushes do not race each other's docs commit.
	concurrency:
	group: docs-${{ github.ref }}

	permissions:
	contents: write

	jobs:
	docs:
	runs-on: windows-latest
	steps:
	- uses: actions/checkout@v7

	- uses: actions/setup-dotnet@v6
	with:
	global-json-file: global.json

	- name: Run MarkdownSnippets
	shell: bash
	run: \|
	dotnet tool install --global MarkdownSnippets.Tool
	mdsnippets "$GITHUB_WORKSPACE"

	# Fails the run when the push is rejected rather than hiding it. A push made with
	# GITHUB_TOKEN does not trigger further workflow runs, so this does not rebuild the branch.
	- name: Push changes
	shell: bash
	run: \|
	if git diff --quiet; then
	echo "No docs changes"
	exit 0
	fi
	git config --local user.email "action@github.com"
	git config --local user.name "GitHub Action"
	git commit -m "Docs changes" -a
	git push origin "HEAD:$GITHUB_REF_NAME"

Navigation Menu