Lena
e83c2d94d4
For the ease of finding something that fits the time that reviewers have and for making it mechanically easier to prioritize the PRs from the community champions, surface some meta information on the PR board (and make it updatable). Meta information here means things like size and whether there's an issue linked to the PR (and what is its type if there is). Release Notes: - N/A
76 lines
2.6 KiB
YAML
76 lines
2.6 KiB
YAML
# Community PR Board — route labeled community PRs to a GitHub Project board
|
|
#
|
|
# When an area/platform label is added to a community PR (not staff, not bot),
|
|
# the PR is added to the project board with a Track field set to the matching
|
|
# review area group. Status transitions for assignment, re-request, and
|
|
# comment events are handled here. Review-based status changes (approved →
|
|
# "In Progress (us)", changes requested → "In Progress (author)") are handled
|
|
# by built-in board automations.
|
|
#
|
|
# See script/community-pr-track-mapping.json for the label→track mapping.
|
|
|
|
name: Community PR Board
|
|
|
|
on:
|
|
pull_request_target:
|
|
types: [labeled, unlabeled, assigned, review_requested, edited]
|
|
issue_comment:
|
|
types: [created]
|
|
workflow_dispatch:
|
|
inputs:
|
|
pr_number:
|
|
description: "PR number to process (re-resolves track from current labels)"
|
|
required: true
|
|
type: number
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
concurrency:
|
|
group: community-pr-board-${{ github.event.pull_request.number || github.event.issue.number || inputs.pr_number }}
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
route-pr:
|
|
if: >-
|
|
github.repository == 'zed-industries/zed' &&
|
|
(github.event_name != 'issue_comment' ||
|
|
(github.event.issue.pull_request &&
|
|
github.event.comment.user.login == github.event.issue.user.login)) &&
|
|
!contains(toJSON(github.event.pull_request.labels.*.name), 'staff') &&
|
|
!contains(toJSON(github.event.pull_request.labels.*.name), 'bot')
|
|
runs-on: namespace-profile-2x4-ubuntu-2404
|
|
timeout-minutes: 5
|
|
|
|
steps:
|
|
- name: Generate app token
|
|
id: app-token
|
|
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
|
|
with:
|
|
app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
|
|
private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
|
|
owner: zed-industries
|
|
|
|
- name: Checkout repository
|
|
uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
|
|
with:
|
|
sparse-checkout: |
|
|
script/github-community-pr-board.py
|
|
script/community-pr-track-mapping.json
|
|
sparse-checkout-cone-mode: false
|
|
|
|
- name: Set up Python
|
|
uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
|
|
with:
|
|
python-version: "3.12"
|
|
|
|
- name: Install dependencies
|
|
run: pip install requests
|
|
|
|
- name: Route PR to board
|
|
env:
|
|
GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
|
|
PROJECT_NUMBER: "85"
|
|
MANUAL_PR_NUMBER: ${{ inputs.pr_number }}
|
|
run: python script/github-community-pr-board.py
|