Script to ghstack land

[kirklandsign]

This PR was created by the merge bot to help merge the original PR into the main branch.
ghstack PR number: #6265
^ Please use this as the source of truth for the PR number to reference in comments
ghstack PR base: https://github.com/pytorch/executorch/tree/gh/kirklandsign/12/base
ghstack PR head: https://github.com/pytorch/executorch/tree/gh/kirklandsign/12/head
Merge bot PR base: https://github.com/pytorch/executorch/tree/main
Merge bot PR head: https://github.com/pytorch/executorch/tree/gh/kirklandsign/12/orig

Original PR body:

    Per ghstack [tutorial](https://github.com/ezyang/ghstack/blob/master/README.md#structure-of-submitted-pull-requests) for a PR exported by ghstack, it will have two diff sets:

• gh/user/1/base <- gh/user/1/head where the PR is created like this
• main <- gh/user/1/orig

The purpose of this bot is, when the ghstack PR is merged, automatically create another PR to do this merge main <- gh/user/1/orig. Then we just merge the newly created PR so that main has that change.

Missing piece: token from pytorch bot to create PR.

If this goes well, we can either git merge the commit from gh/user/1/orig into main directly, without going through the new PR; or auto approve and merge the PR.

Test: You can test locally with export GITHUB_TOKEN=ghpxyz; python .github/scripts/propose_ghstack_orig_pr.py --pr 6265 --repo pytorch/executorch
Note that between /orig merges, there is never a merge conflict.

The invariant is guaranteed that gh/user/1/orig contains the exact same change between gh/user/1/base <- gh/user/1/head by ghstack tool.

Stack from ghstack (oldest at bottom):

• -> Script to ghstack land #6265

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/6271

• 📄 Preview Python docs built from this PR

Note: Links to docs will display an error until the docs builds have been completed.

This comment was automatically generated by Dr. CI and updates every 15 minutes.

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/6271

• 📄 Preview Python docs built from this PR

Note: Links to docs will display an error until the docs builds have been completed.

❌ 1 New Failure

As of commit 647b1f2 with merge base 35aeaca ():

NEW FAILURE - The following job has failed:

• Lint / lintrunner / linux-job (gh)
  >>> Lint for .github/scripts/propose_ghstack_orig_pr.py:

This comment was automatically generated by Dr. CI and updates every 15 minutes.