On Mon, 14 Sep 2020 at 20:35, Laszlo Kishalmi <[email protected]> wrote: > Yes , you can't just revert a merge commint that has not happened trough > the GitHub UI.
I assumed so, or at least checking you weren't doing it that way just for the fun of it. :-) It raises another question of how we should merge things in future as far as I'm concerned - consistency helps! Best wishes, Neil --------------------------------------------------------------------- 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
