Merge pull request #61 from glyn/improve-naming #26

	on:
	workflow_call:
	inputs:
	message:
	type: string
	required: true
	description: The message to commit
	push:
	paths:
	- 'robots.json'
	- '.github/workflows/**'
	- 'code/**'
	branches:
	- "main"

	jobs:
	ai-robots-txt:
	runs-on: ubuntu-latest
	name: ai-robots-txt
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 2
	- run: \|
	pip install beautifulsoup4
	git config --global user.name "ai.robots.txt"
	git config --global user.email "[email protected]"
	git log -1
	git status
	echo "Updating robots.txt and table-of-bot-metrics.md if necessary ..."
	python code/robots.py --convert
	echo "... done."
	git --no-pager diff
	git add -A
	if [ -n "${{ inputs.message }}" ]; then
	git commit -m "${{ inputs.message }}"
	else
	git commit -m "${{ github.event.head_commit.message }}"
	fi
	git push
	shell: bash

Provide feedback