Script to sync w3c-test.org with github repository and pull requests