El anuncio lo realizó mediante su blog oficial, en el que también mencionó que será el nuevo director ejecutivo de GitHub.