Merge pull request #183 from righettod/master #39

	name: update_headers_reference_json_files
	on:
	workflow_dispatch:
	push:
	paths:
	- 'tab_bestpractices.md'
	jobs:
	build:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- uses: actions/checkout@v4
	- name: Set up Python 3.10
	uses: actions/setup-python@v5
	with:
	python-version: "3.10"
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi
	- name: Run generation of both files
	run: \|
	cd ci; python headers_generate_json_files.py
	- name: Set up Git user
	run: git config --global user.email "[email protected]"; git config --global user.name "GHActionBot"
	- name: Commit update
	run: git commit -am "Sync reference headers json files"; git push
	- name: Attach generated artefacts
	uses: actions/upload-artifact@v4
	with:
	name: data
	path: \|
	ci/headers_add.json
	ci/headers_remove.json

Provide feedback