With GitHub PRs now being enabled for a week, I am already seeing contributions and PRs from people that do not have write access to the repo. Such users require a contributor to click the “Squash and merge” button (or equivalent
gh command) for them.
I am now wondering what the convention around who and when this should be done. The docs for reviewing on Phabricator instructed people to state on the review if they do not have write-access and to put their git author line for attribution.
With GitHub PRs, the git author line becomes redundant as the commit in the fork already has all attribution. Whether someone has write access can also be checked a lot easier as the GitHub PR will have a “Member” batch:
This batch is missing for outside contributions. First time contributors are even nicely shown:
I am now wondering, should outside contributors have to explicitly comment whether they want their merges changed, or should whoever is accepting the PR be responsible for merging it if they see this is an outside contributor and that consensus has been reached?