Today is the 1st of Jan 2023, so happy new year! With that in mind, today seems a sensible day to finally migrate all of my public repositories away from GitHub to Azure DevOps. This brings all of my public and private code together for the first time and brings