A proxy for GitHub push events that replays the push for each commit, changing the effective HEAD