GitHub employees have access to Microsoft internal tools and a Microsoft email address, so I don't think there's too much internal firewalling.