Expand repository with property has_local_changes in actionmenu. (#215) #1324

	name: on-push-do-docs
	on:
	push:
	jobs:
	docs:
	runs-on: windows-latest
	steps:
	- uses: actions/checkout@v4

	- name: Setup .NET
	uses: actions/setup-dotnet@v4

	- name: Run MarkdownSnippets
	run: \|
	dotnet tool install --global --version 27.0.2 MarkdownSnippets.Tool
	mdsnippets ${GITHUB_WORKSPACE}
	shell: bash

	- name: Push changes
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git commit -m "Docs changes" -a \|\| echo "nothing to commit"
	remote="https://${GITHUB_ACTOR}:${{secrets.GITHUB_TOKEN}}@github.com/${GITHUB_REPOSITORY}.git"
	branch="${GITHUB_REF:11}"
	git push "${remote}" ${branch} \|\| echo "nothing to push"
	shell: bash

Provide feedback