FYI: INFRA-4726 added to get PR merge back on github for committers. EOM.

[Dave Cottlehuber]

https://issues.apache.org/jira/browse/INFRA-4726