GitHub created this defense fund after they came after youtube-dl. Not very Micro$oft, but they will probably help when it comes to that, but so far they did not file for DMCA takedown in GitHub. Maybe they did and Gihub changed the rules and requires some court judgement to take things down first?