Did Microsoft make a decision here? I thought it was DMCA takedown which legally requires immediate removal.
MS has two hats in the game here: one as a member of the RIAA who have issues a DMCA take-down request, and on as the owner of GitHub which has acted upon that order.