Microsoft’s GitHub is abandoning the long-established coding terminology in support of Black Lives Matter.