tenant.openagents/omega

1# When a guild member opens a PR, react on the Guild board (#74):
2#   - if the PR will close an open board issue, set that issue to In Progress
3#     (covers starting work without self-assigning), and
4#   - if they already have another open PR opened since the cohort started, post
5#     a gentle heads-up to #zed-guild-internal.
6
7name: Guild New PR Notification
8
9on:
10  # zizmor: ignore[dangerous-triggers]
11  # Fork PRs must be supported, but this workflow only reads event metadata and
12  # checks out scripts from the trusted default branch; it never executes PR code.
13  pull_request_target:
14    types: [opened]
15
16permissions:
17  contents: read
18
19concurrency:
20  group: guild-new-pr-notify-${{ github.event.pull_request.number }}
21  cancel-in-progress: false
22
23jobs:
24  react:
25    if: github.repository == 'zed-industries/zed'
26    runs-on: namespace-profile-2x4-ubuntu-2404
27    timeout-minutes: 5
28
29    steps:
30      - name: Generate app token
31        id: app-token
32        uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
33        with:
34          app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
35          private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
36          owner: zed-industries
37          repositories: zed
38          permission-issues: write
39          permission-members: read
40          permission-organization-projects: write
41          permission-pull-requests: read
42
43      - name: Checkout repository
44        uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
45        with:
46          sparse-checkout: |
47            script/github-guild-board.py
48          sparse-checkout-cone-mode: false
49
50      - name: Set up Python
51        uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
52        with:
53          python-version: "3.12"
54
55      - name: Install dependencies
56        run: pip install requests
57
58      - name: React to the new PR
59        env:
60          GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
61          PROJECT_NUMBER: "74"
62          GUILD_MODE: event
63          SLACK_WEBHOOK_GUILD_INTERNAL: ${{ secrets.SLACK_WEBHOOK_GUILD_INTERNAL }}
64        run: python script/github-guild-board.py
65