tenant.openagents/omega

1# Community PR Board — daily meta information refresh
2#
3# Walks every open PR on the community board and recomputes its signal
4# fields. Backstop for changes that don't reach the event-driven workflow,
5# either because the relevant webhook isn't subscribed or doesn't fire at all.
6
7name: PR Board Meta Fields Refresh
8
9on:
10  schedule:
11    - cron: "0 9 * * *"
12  workflow_dispatch:
13
14permissions:
15  contents: read
16
17concurrency:
18  group: community-pr-board-refresh
19  cancel-in-progress: true
20
21jobs:
22  refresh:
23    if: github.repository == 'zed-industries/zed'
24    runs-on: namespace-profile-2x4-ubuntu-2404
25    timeout-minutes: 15
26
27    steps:
28      - name: Generate app token
29        id: app-token
30        uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
31        with:
32          app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
33          private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
34          owner: zed-industries
35          repositories: zed
36          permission-issues: read
37          permission-organization-projects: write
38          permission-pull-requests: read
39
40      - name: Checkout repository
41        uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
42        with:
43          sparse-checkout: |
44            script/github-community-pr-board.py
45          sparse-checkout-cone-mode: false
46
47      - name: Set up Python
48        uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
49        with:
50          python-version: "3.12"
51
52      - name: Install dependencies
53        run: pip install requests
54
55      - name: Refresh all board items
56        env:
57          GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
58          PROJECT_NUMBER: "85"
59          REFRESH_ALL: "1"
60        run: python script/github-community-pr-board.py
61