Please do not make pull requests against master, any such pull requests will be closed. Instead make them against the dev branch.
The files in this repository are automatically generated. If you spot an error, please file an issue so that the pipeline can be fixed.
For full details on the branch policy see here.