Leo's Github branch page <https://github.com/leo-editor/leo-editor/branches> now contains only three branches: master, devel and felix-server4. All three branches are protected. None can be deleted.
I have deleted all other branches, including all release branches. Leo's Github release page <https://github.com/leo-editor/leo-editor/releases> contains the references to permanent revision and tag info. In other words, release branches are temporary (throwaways). I have just updated info issue #1058 <https://github.com/leo-editor/leo-editor/issues/1058> (Info about branches) accordingly. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/91285169-a6ff-4502-b8db-715ee6a0b131n%40googlegroups.com.
