Pull Requests

Pull Requests

Please note that development is not performed on GitHub. The GitHub repository is in a push-sync configuration from a privately hosted Git server in-house. This means pull requests will not be merged but rather manually copied to the in-house repository.

Pull Request Restrictions

For the above reason we do not currently accept pull requests for new features or bug fixes. Pull requests should be limited to language fixes only.

Contributions

As code is not managed via GitHub you should not expect your username to appear in the contributions of this project as those types of details are lost in the process. In most cases credit will be given in the release notes but this is also not a guarantee.