Commit

How long does it take for GitHub profile info to refresh on /dev/null?

Go to settings, there's a sync button there

Oh 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 button