name: binder-badge
on:
  pull_request_target:

jobs:
  badge:
    runs-on: ubuntu
    steps:
      - uses: manics/action-binderbadge@main
        with:
          githubToken: ${{ secrets.GITHUB_TOKEN }}

Add binder bot pull request commenter
Add binder bot pull request commenter
