Hi all, Bear in mind that Apache GitHub is a readonly mirror of Apache Git.
So, the question is, how do we want to do merges of PRs and also what should the workflow be. These are decisions we can make as a community. For example, this PR by Eric Barboni, seems a logical one to want to merge, i.e., its an addition to our Rat setup that we logically would want to have, i.e., there's no reason not to have it and everyone in the PR agrees with it: https://github.com/apache/incubator-netbeans/pull/12 If the person providing a PR is a committer, after there is agreement on the PR, the committer could then push that PR to the Apache Git repo themselves, for example. Thoughts welcome. Gj
