Summary: There's a hearing next week and the timing is a bit interesting (journalists away from their desks, most English-speaking lawyers also on holiday)
In short, it's not too clear what Microsoft has just done except dumping GitHub - i.e. mostly a Web site that loses a ton of money (it always lost money) - into some mysterious new bucket
