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

Reply via email to