You are angry. But you did ask if you are doing something wrong and re-downloading the entire repository for 1 force modified commit is not the way to go. Just have to figure out the magical git incantation that works.
Not sure what the guidelines say, but force push does happen and it would be nice for a single PR to support that. If the guidelines are so strict about it, feel free to close a PR. when this happens and you'll just have multiple PRs discussing the same thing. Which seems worse to me. My 2c, --emi On Mon, Nov 18, 2019 at 10:07 PM John Neffenger <j...@status6.com> wrote: > > On 11/18/19 11:39 AM, Emilian Bold wrote: > > Or you could checkout HEAD~3 or some ancestor (which would be > > netbeans:master) and then fetch the PR branch and re-checkout? > > Or we could just stop doing forced pushes on pull requests under review. > I even think that's what our contributor guidelines suggest. Then I can > run "git pull" after each change, and I'm done. > > John > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@netbeans.apache.org > For additional commands, e-mail: dev-h...@netbeans.apache.org > > For further information about the NetBeans mailing lists, visit: > https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists > > > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@netbeans.apache.org For additional commands, e-mail: dev-h...@netbeans.apache.org For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists