On Mon, 14 Sep 2020 at 20:35, Laszlo Kishalmi <laszlo.kisha...@gmail.com> 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: 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