Re:On Pull Requests
by entropy_ on Monday May 05, 2014 @09:04AM
(#7698291)
You don't need to force push at all. You could just apply the changes to your PR in a different branch(completely local, rewrite history as much as you want, etc, etc) and then submit a second PR with that.
[ Parent
| on HN ]
A whole new PR? That just shows how broken PRs are if that's the solution to this problem.
Re:On Pull Requests
by jimktrains2 on Monday May 05, 2014 @07:41PM
(#7702020)
It's _A_ solution, but not a good one. I think most people consider it OK to force-push a PR branch and update the existing pull request.