Leo's default branch is "main". It replaces the "devel" branch

[Edward K. Ream]

Per #4924, the "main" branch should now be the source and destination of all pull requests. This new workflow is a dramatic simplification. In essence, everything happens in "main". All other branches exist only to create PRs.

The method I used to update main differed from that suggested by the issue. It isn't possible to rename the default branch directly, so I used a three-step process.

Just before deleting the "devel" branch, the gitk app reported that the "main" branch had the same history as the about-to-be-deleted "devel" branch, so we should be good to go.

Please report any problems. All questions, comments, or suggestions are welcome.

Edward

[Ville M. Vainio]

The existing pr's were closed and need to Be reopened against main. Have to it tomorrow as github is very broken today

--
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 leo-editor+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/leo-editor/73e98b71-5e66-4855-abc3-e3d78f80bffbn%40googlegroups.com.

[Edward K. Ream]

On Mon, Aug 17, 2026 at 1:46 PM Ville M. Vainio <viva...@gmail.com> wrote:

The existing pr's were closed and need to Be reopened against main. Have to it tomorrow as github is very broken today.

All seems well now, but there is no rush.

Edward