Hi devs, As you may have noticed merging PRs from GitHub creates a lot of email and git history noise.
What do you think about moving to Gitbox service offered by Apache Infra ? AFAIK it gives more permissions over the repo at GitHub and the workflow should simlify. Martin Grigorov Wicket Training and Consulting https://twitter.com/mtgrigorov