To answer your question, Azure Devops / Azure Repos (at least at the time) was not inside the Azure portal. It was its own website. Bit of a confusing name, eh?