> On Oct 7, 2016, at 6:56 PM, Rainer Müller <[email protected]> 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
_______________________________________________
macports-dev mailing list
[email protected]
https://lists.macosforge.org/mailman/listinfo/macports-dev

Reply via email to