General Manager, GitHub Education