deploys

Incident: a bad deploy on a Friday

A configuration change took the API down for six minutes on 3 July. Short account, and why we now deploy on Fridays anyway...