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?Quote
TTom@tom·6h7215c1fEdit 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.12:27 PM · Oct 19, 2026 · commit 7215c1fQuoteReplyHide repliesNRNorman Reinhard@codebros-nl·6hThanks @tomReply1 reply