Committers, here is something watch out for. I am reviewing a case (see https://github.com/apache/calcite/pull/782/commits) where the pull request (PR) was made by one github user and the git commit is made by a different github user.
The PR is important to the integrity of the intellectual property that we include in our releases. It indicates that the author of the code intends to contribute. So, the PR must be made by the same github user who made the commit(s) being contributed. As a committer, you must reject PRs where the users do not match. Julian
