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