On 09/24/2018 12:29 PM, John McDonnell wrote: > you can continue pushing changes to your local branch, and GitHub will > continue to include those changes into the PR. > > So no need to delete the existing PR.
Thanks, good to know. -- Glenn Holmer (Linux registered user #16682) "After the vintage season came the aftermath -- and Cenbe." --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@netbeans.incubator.apache.org For additional commands, e-mail: dev-h...@netbeans.incubator.apache.org For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists