Repository navigation
docs: standardize README and community files #2
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: PR Limit | ||
|
Check warning on line 1 in .github/workflows/pr-limit.yml
|
||
| # Open-PR limit for contributors (see CONTRIBUTING.md, "Pull Request Limits and Review | ||
| # Bandwidth"). The logic, limits and wording live in the shared reusable workflow in | ||
| # floci-io/.github; this file only wires the events to it. | ||
| # | ||
| # pull_request_target gives the token write access on fork PRs. Neither this workflow | ||
| # nor the reusable one checks out or runs PR code; they only call the GitHub API. | ||
| on: | ||
| pull_request_target: | ||
| # closed and converted_to_draft only remove stale over-pr-limit labels. | ||
| types: [opened, reopened, ready_for_review, closed, converted_to_draft] | ||
| # Manual hook: evaluate any open PR. Dry run by default, so it only logs the decision. | ||
| workflow_dispatch: | ||
| inputs: | ||
| pr_number: | ||
| description: 'PR number to evaluate' | ||
| required: true | ||
| dry_run: | ||
| description: 'Only log what would happen' | ||
| type: boolean | ||
| default: true | ||
| permissions: | ||
| issues: write | ||
| pull-requests: write | ||
| concurrency: | ||
| # github.ref is the base branch under pull_request_target, so key on the PR number; | ||
| # otherwise every PR run would cancel every other. Manual runs get their own group: | ||
| # GitHub keeps only one pending run per group, so sharing it would let a manual dry | ||
| # run replace a live evaluation waiting in the queue. Live runs for the same PR queue | ||
| # rather than cancel; a newer live event may replace an older pending one, which is | ||
| # fine because it evaluates the PR's current state. | ||
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || inputs.pr_number }}-${{ github.event_name == 'workflow_dispatch' && 'manual' || 'live' }} | ||
| cancel-in-progress: false | ||
| jobs: | ||
| pr-limit: | ||
| uses: floci-io/.github/.github/workflows/pr-limit.yml@main | ||
| with: | ||
| pr-number: ${{ format('{0}', github.event.pull_request.number || inputs.pr_number) }} | ||
| dry-run: ${{ github.event_name == 'workflow_dispatch' && inputs.dry_run }} | ||