···

       
20
       
20
       
 
       
    })

     

       
21
       
21
       
 
       
    # Undoes part of the above PR: We don't want to require write access

     

       
22
       
22
       
 
       
    # to the repository, that's only needed for GitHub's native CODEOWNERS.

     

       
23
       
23
       
-
       
    # Furthermore, it removes an unneccessary check from the code

     

       
23
       
23
       
+
       
    # Furthermore, it removes an unnecessary check from the code

     

       
24
       
24
       
 
       
    # that breaks tokens generated for GitHub Apps.

     

       
25
       
25
       
 
       
    ./permissions.patch

     

       
26
       
26
       
 
       
    # Allows setting a custom CODEOWNERS path using the OWNERS_FILE env var