Pulumi scripts to automatically configure our GitHub org/repo settings - View it on GitHub