diff options
| author | Domen Kožar <domen@dev.si> | 2021-06-14 13:41:10 +0200 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2021-06-14 13:41:10 +0200 |
| commit | 527686e7611bb70d9d5a338dab4490821942d643 (patch) | |
| tree | 3bfa690f8a4741d3bf547913e1409bf4a306629b /.github | |
| parent | 13f10e9fe84dda019bd83201ac1e5e2c846e3840 (diff) | |
backport action: run only when the label starts with 'backport'
Diffstat (limited to '.github')
| -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 |