GitHub-sjef går av | Teknisk Crunch