How often does a user profile here get updated? Like the bio, or the company one works for? Doesn't seem to happen trough a webhook or push event. Is it a poll?
Commit
13ee373
Nuno is live streaming and he mentioned that they aren't using reverb or any realtime tech and instead is all polling.
Got it. Maybe then it'd make sense to request a resync, instead of polling all the profiles all the time? Like, I just edited it on github, I can imagine then going to my profile here to "request resync". Right?
I just had to bounce from that stream.
My bad. I was referencing realtime vs polling in general. Not sure how GitHub profile updates get synced back to /dev/null.
commit 13ee373