Frontend
Public
Commits
Tim Donohue authored and GitHub committed 60a9b01c867 Merge
| 20 20 | port_pr |
| 21 21 | runs-on ubuntu-latest |
| 22 22 | # Don't run on closed *unmerged* pull requests |
| 23 23 | if github.event.pull_request.merged |
| 24 24 | steps |
| 25 25 | # Checkout code |
| 26 26 | uses actions/checkout@v3 |
| 27 27 | # Port PR to other branch (ONLY if labeled with "port to") |
| 28 28 | # See https://github.com/korthout/backport-action |
| 29 29 | name Create backport pull requests |
| 30 - | uses korthout/backport-action@341-default-mainline |
| 30 + | uses korthout/backport-action@v1 |
| 31 31 | with |
| 32 32 | # Trigger based on a "port to [branch]" label on PR |
| 33 33 | # (This label must specify the branch name to port to) |
| 34 34 | label_pattern '^port to ([^ ]+)$' |
| 35 35 | # Title to add to the (newly created) port PR |
| 36 36 | pull_title '[Port ${target_branch}] ${pull_title}' |
| 37 37 | # Description to add to the (newly created) port PR |
| 38 38 | pull_description 'Port of #${pull_number} by @${pull_author} to `${target_branch}`.' |
| 39 39 | # Copy all labels from original PR to (newly created) port PR |
| 40 40 | # NOTE: The labels matching 'label_pattern' are automatically excluded |
| 41 41 | copy_labels_pattern '.*' |
| 42 - | # The --mainline (parent-number) to use when cherry-picking. Value of '1' allows |
| 43 - | # merge commits to be cherry picked. See https://git-scm.com/docs/git-cherry-pick |
| 44 - | default_mainline 1 |
| 45 42 | # Use a personal access token (PAT) to create PR as 'dspace-bot' user. |
| 46 43 | # A PAT is required in order for the new PR to trigger its own actions (for CI checks) |
| 47 44 | github_token $ secrets.PR_PORT_TOKEN |