The acquisition provides a way forward for San Francisco-based GitHub, which has been trying for nine months to find a new CEO and has yet to make a profit from its popular service that allows coders to share and collaborate on their work. It also helps Microsoft, which is increasingly relying on open-source software, to add programming tools and tie up with a company that has become a key part of the way Microsoft writes its own software.

Frank Shaw, a spokesman for Microsoft, declined to comment. GitHub didn’t return an email seeking request for comment. GitHub is an essential tool for coders. Many corporations, including Microsoft and Alphabet Inc.’s Google, use GitHub to store their corporate code and to collaborate. It’s also a social network of sorts for developers. While GitHub’s losses have been significant — it lost $66 million over three quarters in 2016 — it had revenue of $98 million in nine months of that year.

In August, GitHub announced that it was looking for a CEO to replace Chris Wanstrath, one of the company’s co-founders. In the interim, GitHub’s Chief Business Officer Julio Avalos joined the company’s board of directors and took over much of the day-to-day leadership of the company.