Poison bot commit messages about arcade HOT 2 OPEN

community PR's should already have the community label auto-applied -- @jeffhandley does that happen through some GH action on all repos?

bots are generally "marked" as automation. so afaik, the GH API can be used to identify both.

from arcade.

@danmoseley Many of our repositories use Policy Service to label community contributions, but this isn't centralized or uniform across the repositories. The label-prs.yml (dotnet/docs) policy is a good example though.

Policy Service can't detect bots through the user type, but it could have the list of authors we want to label as such. Alternatively, we could pursue a GitHub workflow with an implementation like this, that checks the type of user that authored the PR, triggering this when PRs are created:

jobs:
  label-bot-pr:
    runs-on: ubuntu-latest
    steps:
      - name: Label Bot PRs
        uses: actions/github-script@v5
        with:
          script: |
            const author = context.payload.pull_request.user;
            
            if (author.type == 'Bot') {
              const prNumber = context.payload.pull_request.number;
              console.log(`Labeling PR #${prNumber}. Author '${user.login}' is a Bot.`);
              
              await github.issues.addLabels({
                owner: context.repo.owner,
                repo: context.repo.repo,
                issue_number: prNumber,
                labels: ['bot'],
              });
            }

from arcade.