A server to refresh group repositories in github.com/w3c/groups/repositories.json - View it on GitHub