fix: supervisor identity matching — prefer GitHub username, fuzzy compare#641
Merged
marcusquinn merged 2 commits intomainfrom Feb 8, 2026
Merged
fix: supervisor identity matching — prefer GitHub username, fuzzy compare#641marcusquinn merged 2 commits intomainfrom
marcusquinn merged 2 commits intomainfrom