Update on an employee matter

On Friday, January 8th, GitHub separated with an employee. Later that day and over the weekend, employees raised concerns about the circumstances of the separation. We took these concerns seriously...