Re: Research survey: Impact of Microsoft Acquisition of GitHub