It was changed via [1]. Presumably now when a pull request is created it will default to “develop” as the destination. The insights page on GitHub now reports more useful commit info for “Contributors”.
> [1] https://issues.apache.org/jira/browse/INFRA-15780 > <https://issues.apache.org/jira/browse/INFRA-15780> — Dale
