tenant.openagents/omega

1# Community PR Board — route labeled community PRs to a GitHub Project board
2#
3# When an area/platform label is added to a community PR (not staff, not bot),
4# the PR is added to the project board with a Track field set to the matching
5# review area group. Status transitions for assignment, re-request, and
6# comment events are handled here. Review-based status changes (approved →
7# "In Progress (us)", changes requested → "In Progress (author)") are handled
8# by built-in board automations.
9#
10# See script/community-pr-track-mapping.json for the label→track mapping.
11
12name: Community PR Board
13
14on:
15  # zizmor: ignore[dangerous-triggers]
16  # Fork PRs must be supported, but this workflow only reads event metadata and
17  # checks out scripts from the trusted default branch; it never executes PR code.
18  pull_request_target:
19    types: [labeled, unlabeled, assigned, review_requested, edited]
20  issue_comment:
21    types: [created]
22  workflow_dispatch:
23    inputs:
24      pr_number:
25        description: "PR number to process (re-resolves track from current labels)"
26        required: true
27        type: number
28
29permissions:
30  contents: read
31
32concurrency:
33  group: community-pr-board-${{ github.event.pull_request.number || github.event.issue.number || inputs.pr_number }}
34  cancel-in-progress: false
35
36jobs:
37  route-pr:
38    if: >-
39      github.repository == 'zed-industries/zed' &&
40      (github.event_name != 'issue_comment' ||
41       (github.event.issue.pull_request &&
42        github.event.comment.user.login == github.event.issue.user.login)) &&
43      !contains(toJSON(github.event.pull_request.labels.*.name), 'staff') &&
44      !contains(toJSON(github.event.pull_request.labels.*.name), 'bot')
45    runs-on: namespace-profile-2x4-ubuntu-2404
46    timeout-minutes: 5
47
48    steps:
49      - name: Generate app token
50        id: app-token
51        uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
52        with:
53          app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
54          private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
55          owner: zed-industries
56          repositories: zed
57          permission-issues: read
58          permission-organization-projects: write
59          permission-pull-requests: read
60
61      - name: Checkout repository
62        uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
63        with:
64          sparse-checkout: |
65            script/github-community-pr-board.py
66            script/community-pr-track-mapping.json
67          sparse-checkout-cone-mode: false
68
69      - name: Set up Python
70        uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
71        with:
72          python-version: "3.12"
73
74      - name: Install dependencies
75        run: pip install requests
76
77      - name: Route PR to board
78        env:
79          GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
80          PROJECT_NUMBER: "85"
81          MANUAL_PR_NUMBER: ${{ inputs.pr_number }}
82        run: python script/github-community-pr-board.py
83