UI improvements, encrypted auth cookie#2

Merged

tstromberg merged 6 commits intomainfrom

Nov 13, 2025

Commits on Nov 7, 2025

Simplify navbar to show only username

authored and
Thomas Stromberg
committed
Improve hidden orgs preferences with domain cookies

authored and
Thomas Stromberg
committed
Make stale PR filter per-workspace with domain cookies and default on

authored and
Thomas Stromberg
committed

Commits on Nov 9, 2025

fix workspace toggling

Thomas Stromberg
authored and
Thomas Stromberg
committed
Switch from github_token to a mildly encrypted access_token

Thomas Stromberg
authored and
Thomas Stromberg
committed
new next action rendering

Thomas Stromberg
authored and
Thomas Stromberg
committed