Skip to content

Simplify some pointer traits #2017

Simplify some pointer traits

Simplify some pointer traits #2017

Workflow file for this run

name: Backport merged pull request
on:
pull_request_target:
types: [closed]
issue_comment:
types: [created]
permissions:
contents: write # so it can comment
pull-requests: write # so it can create pull requests
jobs:
backport:
name: Backport pull request
runs-on: ubuntu-latest
# Only run when pull request is merged
# or when a comment containing `/backport` is created by a maintainer
if: >
(
github.event_name == 'pull_request_target' &&
github.event.pull_request.merged
) || (
github.event_name == 'issue_comment' &&
github.event.issue.pull_request &&
contains(fromJSON('["MEMBER", "COLLABORATOR", "OWNER"]'), github.event.comment.author_association) &&
contains(github.event.comment.body, '/backport')
)
steps:
- uses: actions/checkout@v4
with:
persist-credentials: false
- name: Create backport pull requests
uses: korthout/backport-action@v1
with:
merge_commits: 'skip'