docs
docs copied to clipboard
Fix automerge functionality
Our automerge workflows seem to have stopped working recently, making it difficult to keep up with PRs generated by frequent CLI releases like https://github.com/pulumi/docs/pull/12050. We should fix this.