GitHub is owned by Microsoft which covers most of what GP is alluding to…