ghstack_land.yml

name: Propose to merge ghstack orig PRs to main
on:
  pull_request:
    types: [closed]
    branches:
      - 'gh/cccclai/[0-9]+/base'
      - 'gh/dbort/[0-9]+/base'
      - 'gh/guangy10/[0-9]+/base'
      - 'gh/helunwencser/[0-9]+/base'
      - 'gh/jorgep31415/[0-9]+/base'
      - 'gh/kimishpatel/[0-9]+/base'
      - 'gh/kirklandsign/[0-9]+/base'
      - 'gh/larryliu0820/[0-9]+/base'
      - 'gh/manuelcandales/[0-9]+/base'
      - 'gh/mcr229/[0-9]+/base'
      - 'gh/swolchok/[0-9]+/base'
      - 'gh/SS-JIA/[0-9]+/base'

jobs:
  ghstack_merge_to_main:
    name: Try to create a PR with ghstack /orig branch
    runs-on: ubuntu-22.04
    environment: cherry-pick-bot
    steps:
    - uses: actions/checkout@v3
      with:
        fetch-depth: '0'
    - uses: actions/setup-python@v4
      with:
        python-version: '3.10'
    - name: Try to merge PR to main
      run: |
        pip install pygithub

        PR_NUMBER=$(echo "$GITHUB_REF" | grep -oE '[0-9]+')

        python .github/scripts/propose_ghstack_orig_pr.py --pr $PR_NUMBER --repo pytorch/executorch
      env:
        GITHUB_TOKEN: ${{ secrets.GH_PYTORCHBOT_CHERRY_PICK_TOKEN }}
        GITHUB_REF: ${{ github.ref }}