···

       
14
       
14
       
 
       
jobs:

     

       
15
       
15
       
 
       
  backport:

     

       
16
       
16
       
 
       
    name: Backport Pull Request

     

       
17
       
17
       
-
       
    if: github.repository_owner == 'NixOS' && github.event.pull_request.merged == true && (github.event_name != 'labeled' || startsWith('backport', github.event.label.name))

     

       
17
       
17
       
+
       
    if: github.repository_owner == 'NixOS' && github.event.pull_request.merged == true && (github.pull_request.action != 'labeled' || startsWith(github.event.label.name, 'backport'))

     

       
18
       
18
       
 
       
    runs-on: ubuntu-24.04

     

       
19
       
19
       
 
       
    steps:

     

       
20
       
20
       
 
       
      # Use a GitHub App to create the PR so that CI gets triggered