Skip to content

Replaced ready for dev lead label with ready for merge team label in add-github-handle.md #40

Replaced ready for dev lead label with ready for merge team label in add-github-handle.md

Replaced ready for dev lead label with ready for merge team label in add-github-handle.md #40

Workflow file for this run

name: Pull Request Verification
on:
pull_request_target:
types: [opened]
jobs:
Check-Team-Membership:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/github-script@v7
with:
github-token: ${{ secrets.HACKFORLA_ADMIN_TOKEN }}
script: |
const verifyPR = require('./github-actions/trigger-pr-target/verify-pr.js');
verifyPR({github, context});