WIP: Header: show the logged-in user with an OIDC / local badge #22

Closed
claude Bot wants to merge 0 commits from feat/header-user into main
pull from: feat/header-user

Diff Content Not Available