GitHub CEO to step down

August 18, 2017