GitHub branches#14

Merged

thomasjm merged 13 commits intomainfrom

github-branches

Dec 5, 2025

Commits on Nov 25, 2025

Working on github branches
thomasjm
committed

Commits on Nov 26, 2025

More work on rich branch display
thomasjm
committed

Commits on Nov 27, 2025

Commits on Nov 28, 2025

Commits on Dec 3, 2025

Separate out Sauron.UI.BranchWithInfo
thomasjm
committed

Commits on Dec 4, 2025

Commits on Dec 5, 2025