Unverified Commit 040aeda1 authored by Michael Daniels's avatar Michael Daniels
Browse files

ci/github-script/bot: log author of pull request 

Should help debug "Review cannot be requested from pull request author."
in https://github.com/NixOS/nixpkgs/actions/runs/19591357890/job/56110301046#step:6:4726.
parent ce3d5505

ci/github-script/bot.js

+2 −0
Original line number Diff line number Diff line
@@ -152,6 +152,8 @@ module.exports = async ({ github, context, core, dry }) => { 
      })

    ).data



    log('author', pull_request.user?.login)



    const maintainers = await getMaintainerMap(pull_request.base.ref)



    const merge_bot_eligible = await handleMerge({