250 code table 42 and 4238 new sourcesink entries in code table 4238 … #106

	name: CI

	on: [ push ]

	permissions:
	contents: write

	jobs:
	make_xml:
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@v3
	with:
	ref: ${{ github.ref }}
	- name: create xml files and push
	run: \|
	sudo apt-get install -y python3-pip
	pip3 install dicttoxml
	python3 scripts/create_master_lists.py
	ls xml
	git config --global user.email "[email protected]"
	git config --global user.name "Enrico Fucile"
	git branch
	# Use of status --pocelain to check if files have been changed or not
	# If changes commit and push
	if [[ `git status --porcelain` ]]; then
	git add .
	git commit -m "xml,txt files" -a
	git push
	# if not, only print a message saying not commit
	else
	echo "No changes to commit"
	fi

Provide feedback