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: [email protected] For additional commands, e-mail: [email protected] For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
