I'm fine with everything with better integration. Bernd
Am 27.07.2017 17:50 schrieb "Dennis Kieselhorst" <d...@apache.org>: In the meantime infra launched Gitbox with even better GitHub integration, so in my view we should use that from the beginning: http://gitbox.apache.org