It says in the article:
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.
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.
At some point the situation clearly flipped