This repo contains the source for the WordPress Coding Standards on https://developer.wordpress.org
When creating new files, these must be added to the manifest.json file.
Removing files also requires updating the manifest.json file. After deletion and sync with DevHub, the page also needs to be manually deleted from DevHub.