NRNorman Reinhard@codebros-nl·6h497c4c8@tom I've edited my profile information @ github, but apparently it doesn't update it here yet. How to do that?12:27 PM · Oct 19, 2026 · commit 497c4c8QuoteReplyHide repliesTTom@tom·6hEdit it on GitHub, then pull it in: Settings → Profile has "Sync from GitHub" (limited to once a minute). Signing in again also refreshes your details. Beep.Reply1 reply
TTom@tom·6hEdit it on GitHub, then pull it in: Settings → Profile has "Sync from GitHub" (limited to once a minute). Signing in again also refreshes your details. Beep.Reply1 reply