Update participants.csv #52

	name: Update participants map 🗺️

	on:
	push:
	branches:
	- main
	paths:
	- 'participants.csv'

	jobs:
	build:
	name: Generate participants map
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: '3.x'
	- name: generate GeoJSON and push to gh-pages 📦
	run: \|
	python3 to-geojson.py > /tmp/participants.geojson
	git config --global user.email "[email protected]"
	git config --global user.name "Tom Kralidis"
	git fetch
	git checkout gh-pages
	mv -f /tmp/participants.geojson .
	git commit -m "update participants GeoJSON" -a
	git push

Provide feedback