[0x0]

Or even better, github could have an opt-in (or even opt-out) server side variant for pushes!