Improving Git push times through faster server side hooks

The history of pre-receive hooks, how we discovered that the performance was problematic, and how we went about safely replacing them.