GitHub infrastructure is for the most part completely separate from anything at Microsoft, other than using Azure.