Honor CDP proxy denylist env knobs in production; second-signal fast drain exit (SKY-12533) #9876
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Auto-merge sync PRs | |
| on: | |
| pull_request: | |
| types: [opened, reopened, ready_for_review, labeled, synchronize] | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| checks: read | |
| jobs: | |
| auto-merge: | |
| if: > | |
| contains(join(github.event.pull_request.labels.*.name, ','), 'sync') && contains('suchintan,wintonzheng,LawyZheng,pedrohsdb,marcmuon,celalzamanoglu,AronPerez,andrewneilson,cindehaa,trevor-cheung,cursoragent,claude[bot],copilot-swe-agent[bot]', github.event.pull_request.user.login) | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Wait for all required checks to pass | |
| uses: lewagon/wait-on-check-action@3603e826ee561ea102b58accb5ea55a1a7482343 # v1.4.1 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| repo-token: ${{ secrets.GITHUB_TOKEN }} | |
| wait-interval: 10 | |
| ignore-checks: auto-merge, Mintlify Deployment | |
| allowed-conclusions: success, skipped, neutral | |
| - name: Set token for author | |
| id: set-token | |
| run: | | |
| case "${{ github.event.pull_request.user.login }}" in | |
| wintonzheng) | |
| echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| LawyZheng) | |
| echo "GH_PAT=${{ secrets.LAWY_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| suchintan) | |
| echo "GH_PAT=${{ secrets.SUCHINTAN_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| pedrohsdb) | |
| echo "GH_PAT=${{ secrets.PEDROHSDB_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| marcmuon) | |
| echo "GH_PAT=${{ secrets.MARC_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| celalzamanoglu) | |
| echo "GH_PAT=${{ secrets.CELAL_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| andrewneilson) | |
| echo "GH_PAT=${{ secrets.ANDREW_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| cindehaa) | |
| echo "GH_PAT=${{ secrets.CINDY_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| trevor-cheung) | |
| echo "GH_PAT=${{ secrets.TREVOR_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| AronPerez) | |
| echo "GH_PAT=${{ secrets.AARON_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| cursoragent) | |
| echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| claude\[bot\]) | |
| echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| copilot-swe-agent\[bot\]) | |
| echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT | |
| ;; | |
| *) | |
| echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT | |
| echo "Author $PR_AUTHOR is not in the approved list" | |
| ;; | |
| esac | |
| - name: Auto-merge PR | |
| env: | |
| GH_TOKEN: ${{ steps.set-token.outputs.GH_PAT }} | |
| run: | | |
| gh pr merge ${{ github.event.pull_request.number }} \ | |
| --squash \ | |
| --admin \ | |
| --repo "${{ github.repository }}" |