<html><body><div>On Oct 08, 2013, at 10:18 AM, Walter Bright <walter@digitalmars.com> wrote:<br><br><div><blockquote type="cite"><div class="msg-quote"><div class="_stretch"> Because I often need to amend a pull request, and I was told it was done with:<br> <br> git --amend -a<br> git push -f<br> <br> and I've been doing that successfully since I've been doing PR's.<br> </div></div></blockquote><span> </span><br>I'm not sure how your workflow is but if you need to amend a pull request I would think you would do something like this:<br><br>1. Merge the pull request on your local machine<br>2. Make your changes and amend<br>3. Push to your own fork at Github (origin) or push to upstream if the pull request should be merged into master. No need to use "push -f"<br><br><blockquote type="cite"><div class="msg-quote"><div class="_stretch"> Brad used a git reset followed by a git push with -f. The github master is now <br> correct, but it's a mystery why the PR's are messed up.</div></div></blockquote><span> </span><br>I've learned that what's show in pull requests on Github is not always 100% accurate. I would suggest merging a pull request on a local machine and see what changes it actually contains.<br><br>--<br>/Jacob Carlborg<br></div></div></body></html>