I'm fine with everything with better integration. Bernd
Am 27.07.2017 17:50 schrieb "Dennis Kieselhorst" <[email protected]>: 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
