There was a brief outage on our Washington DC platform (paas1.wdc) that required manual intervention. The cause of the issue was identified, corrected and resolved within 4 minutes.