Hi all, Given the recent announcement about gitbox.apache.org [1] (seamless integration with GitHub) I was wondering about moving from git-ws* to gitbox to allow better PR support (we can merge PRs by clicking *merge* button from Github), that may help us towards more and more effective contributions.
WDYT? Regards, Tommaso [1] : https://gitbox.apache.org/
