GitHub CEO to step down August 11, 2025 by kamal The move comes as GitHub is facing growing competition from companies like Google and Cursor over AI tools for programmers.