1name: Propose to merge ghstack orig PRs to main 2on: 3 pull_request: 4 types: [closed] 5 branches: 6 - 'gh/cccclai/[0-9]+/base' 7 - 'gh/dbort/[0-9]+/base' 8 - 'gh/dvorjackz/[0-9]+/base' 9 - 'gh/guangy10/[0-9]+/base' 10 - 'gh/helunwencser/[0-9]+/base' 11 - 'gh/jorgep31415/[0-9]+/base' 12 - 'gh/kimishpatel/[0-9]+/base' 13 - 'gh/kirklandsign/[0-9]+/base' 14 - 'gh/larryliu0820/[0-9]+/base' 15 - 'gh/lucylq/[0-9]+/base' 16 - 'gh/manuelcandales/[0-9]+/base' 17 - 'gh/mcr229/[0-9]+/base' 18 - 'gh/swolchok/[0-9]+/base' 19 - 'gh/SS-JIA/[0-9]+/base' 20 - 'gh/trivedivivek/[0-9]+/base' 21 22jobs: 23 ghstack_merge_to_main: 24 name: Try to create a PR with ghstack /orig branch 25 runs-on: ubuntu-22.04 26 environment: cherry-pick-bot 27 steps: 28 - uses: actions/checkout@v3 29 with: 30 fetch-depth: '0' 31 - uses: actions/setup-python@v4 32 with: 33 python-version: '3.10' 34 - name: Try to merge PR to main 35 run: | 36 pip install pygithub 37 38 python .github/scripts/propose_ghstack_orig_pr.py --ref $GITHUB_REF --repo pytorch/executorch 39 env: 40 GITHUB_TOKEN: ${{ secrets.GH_PYTORCHBOT_CHERRY_PICK_TOKEN }} 41 GITHUB_REF: ${{ github.ref }} 42