Hi all, GitHub now shows an "Update branch" button on pull requests. Please avoid using it unless there's a real need to merge origin/master into the PR branch.
The reason is that clicking it triggers a full CI build. CI runs consume shared ASF resource quota, and we don't want to increase demand unnecessarily. The button is useful when the PR's CI has last run a long time ago. In that case it's recommended to merge origin/master, so that merging a PR based on an old CI run doesn't introduce regressions. Another valid reason is to pick up CI fixes from the master branch into the PR branch. Thanks, Lari
