s #3

	name: build_directory_md
	on: [push, pull_request]

	jobs:
	MainSequence:
	name: DIRECTORY.md
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1 # v2 is broken for git diff
	- uses: actions/setup-python@v2
	- name: Setup Git Specs
	run: \|
	git config --global user.name github-actions
	git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com'
	git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY
	- name: Update DIRECTORY.md
	run: \|
	python .github/workflows/scripts/build_directory_md.py
	- name: Commit DIRECTORY.md
	run: \|
	git add DIRECTORY.md
	git commit -m "updating DIRECTORY.md" \|\| true
	git diff DIRECTORY.md
	git push --force origin HEAD:$GITHUB_REF \|\| true

Provide feedback