In case you don't read the #C03D85RPPU4 channel, here is a blog post about creating an Azure-Ready GitHub repository using Pulumi and Azure OIDC.