Pull Requests for bug fixes should be made against the current release branch (1.2).

Pull Requests for new features should be made against master.

For further notes please refer to https://github.com/sebastianbergmann/phpunit/blob/master/CONTRIBUTING.md