This repository hosts the HTML Standard.
Pull requests
The short version is that all you need to do is change the source
resource and submit a patch. The longer version is that you probably want to read the WHATWG FAQ first.
Merge policy
The green button shall not be pushed. Each change needs to result in a single commit on the master branch.