Comment by williamstein

How might they do that given that Microsoft now owns all of the IP and GitHub is mostly closed source? It seems like a very different situation than the liberally open source MySQL.