Github isn't at fault here, nor is Microsoft. There's little they can do in the face of a DMCA takedown without opening themselves up to a _lot_ of liability. The entire point of that system is to take the hosting provider out of it.