Working with Git

[Davide Liessi]

2016-10-08 3:32 GMT+02:00 Lawrence Velázquez <larryv at macports.org>:
> I think this would be fine, since only a few people are likely to fetch a pull request branch, and anyone who does just has to be aware that the branch can be force-updated at any time.

I was about to write the same.

I would also like to propose that pull requests should always be
merged using the "Rebase and merge" option, in order to keep the
master branch as linear as possible (see
https://help.github.com/articles/merging-a-pull-request/ and
https://help.github.com/articles/about-pull-request-merges/#rebase-and-merge-your-pull-request-commits).

Davide