Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tests to sanity check our config.json file
Test that the file is valid JSON Test that the file does not contain any "weird" characters: we noticed that editing the config file through the github web interface on a mobile phone had accidentally introduced some unicode \u202a LEFT-TO-RIGHT EMBEDDING and \u202c POP DIRECTIONAL FORMATTING chracters, which caused the script to silently fail to process certain rules.
- Loading branch information