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/dvorjackz/[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/lucylq/[0-9]+/base' - 'gh/manuelcandales/[0-9]+/base' - 'gh/mcr229/[0-9]+/base' - 'gh/swolchok/[0-9]+/base' - 'gh/SS-JIA/[0-9]+/base' - 'gh/trivedivivek/[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 python .github/scripts/propose_ghstack_orig_pr.py --ref $GITHUB_REF --repo pytorch/executorch env: GITHUB_TOKEN: ${{ secrets.GH_PYTORCHBOT_CHERRY_PICK_TOKEN }} GITHUB_REF: ${{ github.ref }}