- csv-to-topo updater now only works for PRs : csv shouldn't be directly updated in a push to master
- csv-to-topo can now be manually triggered if needed
- clearer formatting for actions
ignore changes to 'boundaries.topo.json' on PUSH actions to avoid triggering the push action when PRs are merged, since they already got updated at the PR stage.