3 ms·Or even better, github could have an opt-in (or even opt-out) server side variant for pushes!by 0x0 12y agoOr even better, github could have an opt-in (or even opt-out) server side variant for pushes!