GitHub controversies put additional burden on Microsoft’s shoulder