enable auto merge for cli dev version PRs (#10434)

These PRs have been working just fine for a few days now, so enable auto merge for them.
pulumi · Dec 20, 2023 · 8534465 · 8534465
1 parent 3508687
commit 8534465
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pulumi-cli-dev-version.yml b/.github/workflows/pulumi-cli-dev-version.yml
@@ -20,6 +20,7 @@ jobs:
           destination_branch: "master"
           pr_title: "Regen dev version pulumi@${{ github.event.client_payload.dev_version}}"
           pr_body: "Automated PR"
+          pr_label: "automation/pulumi-cli-docs,automation/merge"
           github_token: ${{ secrets.PULUMI_BOT_TOKEN }}
   update-latest-dev-version:
     runs-on: ubuntu-latest