Thomas Dohmke, CEO of Microsoft Corp.-owned GitHub, said on Monday he’s stepping down and will leave the company at the end of 2025 to become “a founder again,” signaling a major shakeup ...