diff options
author | Domen Kožar <domen@dev.si> | 2021-06-19 15:51:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-19 15:51:37 +0200 |
commit | e3858348c432192341d8f2c55a50528f2b0c7424 (patch) | |
tree | e28230b17b211decb87fa7b0f43049722c703a98 /.github/workflows | |
parent | a37bc5fdbf65004fd02d6d61a17a16a29ec84e64 (diff) | |
parent | 527686e7611bb70d9d5a338dab4490821942d643 (diff) |
Merge pull request #126825 from domenkozar/backport-label-check
backport action: run only when the label starts with 'backport'
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/backport.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml index 766b5aa831a3..79af5835463d 100644 --- a/.github/workflows/backport.yml +++ b/.github/workflows/backport.yml @@ -5,7 +5,7 @@ on: jobs: backport: name: Backport Pull Request - if: github.repository_owner == 'NixOS' && github.event.pull_request.merged == true + if: github.repository_owner == 'NixOS' && github.event.pull_request.merged == true && (github.event_name != 'labeled' || startsWith('backport', github.event.label.name)) runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 |