Run cog -r in PRs, use that to update logging.md with new tables #1

	name: Run Cog

	on:
	pull_request:
	types: [opened, synchronize]

	permissions:
	contents: write
	pull-requests: write

	jobs:
	run-cog:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	ref: ${{ github.head_ref }}

	- name: Set up Python 3.11
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'

	- uses: extractions/setup-just@v2

	- name: Install dependencies
	run: pip install -e '.[test]'

	- name: Run cog
	run: just cog

	- name: Check for changes
	id: check-changes
	run: \|
	if [ -n "$(git diff)" ]; then
	echo "changes=true" >> $GITHUB_OUTPUT
	else
	echo "changes=false" >> $GITHUB_OUTPUT
	fi

	- name: Commit and push if changed
	if: steps.check-changes.outputs.changes == 'true'
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git add -A
	git commit -m "Ran cog"
	git push

Provide feedback