summaryrefslogtreecommitdiffstats
path: root/.github/workflows/docs_backport.yaml
blob: 1168d8749183a3921adf641fdca687324387a61a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
name: Documentation backport
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 starting with `/backport` is created by someone other than the
    # https://github.com/backport-action bot user (user id: 97796249). Note that if you use your
    # own PAT as `github_token`, that you should replace this id with yours.
    if: >
      (
        github.event_name == 'pull_request_target' &&
        github.event.pull_request.merged
      ) || (
        github.event_name == 'issue_comment' &&
        github.event.issue.pull_request &&
        github.event.comment.user.id != 199975426 &&
        startsWith(github.event.comment.body, '/backport')
      )
    steps:
      - uses: actions/checkout@v5
      - name: Create backport pull requests
        uses: korthout/backport-action@v3
        with:
          label_pattern: '^backport\/([^ ]+)$'
          github_token: ${{ secrets.YDBOT_TOKEN }}
          experimental: '{"conflict_resolution": "draft_commit_conflicts"}'