File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -59,7 +59,7 @@ async function main() {
5959 } else {
6060 // User doesn't have required permissions (or the permission check failed with an error).
6161 // Always attempt the bot allowlist fallback before giving up, so that GitHub Apps whose
62- // actor is not a recognised GitHub user (e.g. "Copilot") are not silently denied.
62+ // actor is not a recognized GitHub user (e.g. "Copilot") are not silently denied.
6363 if ( allowedBots && allowedBots . length > 0 ) {
6464 core . info ( `Checking if actor '${ actor } ' is in allowed bots list: ${ allowedBots . join ( ", " ) } ` ) ;
6565
@@ -79,7 +79,7 @@ async function main() {
7979 core . warning ( `Bot '${ actor } ' is in the allowed list but not active/installed on ${ owner } /${ repo } ` ) ;
8080 core . setOutput ( "is_team_member" , "false" ) ;
8181 core . setOutput ( "result" , "bot_not_active" ) ;
82- core . setOutput ( "user_permission" , result . permission ) ;
82+ core . setOutput ( "user_permission" , result . permission ?? "bot" ) ;
8383 core . setOutput ( "error_message" , `Access denied: Bot '${ actor } ' is not active/installed on this repository` ) ;
8484 return ;
8585 } else {
You can’t perform that action at this time.
0 commit comments