Thomas Dohmke, CEO of GitHub, has announced he will leave the company at the end of 2025 to launch a new startup.