In an Azure DevOps project that uses Azure Repos, I'd like to identify the completed pull requests for which authors did not tick the 'delete branch after merging', and so the source branch still exists.
Using the az devops CLI or the Azure DevOps REST API would be acceptable.
The end goal is to delete these branches, either via one of these tools, or to generate URLs to the pull requests so that I can open each PR in the browser and click on 'Delete source branch'
