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

Reply via email to