How we improved push processing on GitHub (via dmathieu) — discussion

#performance