Who says Azure devops is on the same infra as GitHub? I mean, sure they're both hosted in Azure data centers, but there's very little else shared between them AFAIK. I used to work for Microsoft and I heard about the grand plans to merge the two but I don't think it ever really happened.