Working with Git

[Lawrence Velázquez]

> On Oct 7, 2016, at 6:56 PM, Rainer Müller <raimue at macports.org> wrote:
> 
> If you want to replace the commits in a pull request, it will require a
> 'git push --force' to the branch of the pull request.

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.

vq
Sent from my iPhone