Gitbox

[Dennis Kieselhorst]

Hi,

Infra recently optimized the GitHub integration by providing a new
service: http://gitbox.apache.org

Merging pull requests would be much easier.

What do you think about migrating to it?

Regards
Dennis