RHRobert Holak@rholak·3hf10e0b1How long does it take for GitHub profile info to refresh on /dev/null?1Quote
BRBrent Roose@brendt·3hc1ec9f8Go to settings, there's a sync button there4:38 PM · Oct 16, 2026 · commit c1ec9f81QuoteReplyHide repliesRHRobert Holak@rholak·3hOh thanks! I was looking for it on my profile page :-D Maybe also put a link there to sync, next to the Edit on GitHub buttonReply
RHRobert Holak@rholak·3hOh thanks! I was looking for it on my profile page :-D Maybe also put a link there to sync, next to the Edit on GitHub buttonReply