The [Setting up Echidna as a GitHub hook](https://github.com/w3c/echidna/wiki/Setting-up-Echidna-as-a-GitHub-hook) could probably now point to spec-prod + new instructions.