Skip to repository content97 lines · 3.3 KB · yaml
tenant.openagents/omega
No repository description is available.
OpenAgents Git authority 2026-07-28T00:32:21.249Z Public web read
NIP-34 coordinate
30617:7649603503856e5148d571eac2766b288a8ff1e9e35d380337a1d2b0015b4f92:omegaMaintainersHidden in public view
References2 branches · 1 tag
Read-only clone
git clone https://openagents.com/git/tenant.openagents/omega.gitBrowse files
track_duplicate_bot_effectiveness.yml
1name: Track duplicate bot effectiveness
2
3on:
4 issues:
5 types: [closed]
6 schedule:
7 - cron: "0 8 */2 * *" # every 2 days at 8 AM UTC
8 workflow_dispatch:
9
10permissions:
11 contents: read
12
13jobs:
14 classify-closed-issue:
15 if: >
16 github.event_name == 'issues' &&
17 github.repository == 'zed-industries/zed' &&
18 github.event.issue.pull_request == null &&
19 (github.event.issue.type == null ||
20 github.event.issue.type.name == 'Bug' ||
21 github.event.issue.type.name == 'Crash')
22 runs-on: ubuntu-latest
23 timeout-minutes: 5
24 steps:
25 - name: Checkout repository
26 uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
27 with:
28 sparse-checkout: script/github-track-duplicate-bot-effectiveness.py
29 sparse-checkout-cone-mode: false
30
31 - name: Get github app token
32 id: get-app-token
33 uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
34 with:
35 app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
36 private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
37 owner: zed-industries
38 repositories: zed
39 permission-issues: read
40 permission-organization-projects: write
41
42 - name: Set up Python
43 uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
44 with:
45 python-version: "3.12"
46
47 - name: Install dependencies
48 run: pip install requests
49
50 - name: Classify closed issue
51 env:
52 GITHUB_TOKEN: ${{ steps.get-app-token.outputs.token }}
53 ISSUE_NUMBER: ${{ github.event.issue.number }}
54 CLOSER_LOGIN: ${{ github.event.sender.login }}
55 STATE_REASON: ${{ github.event.issue.state_reason }}
56 run: |
57 python script/github-track-duplicate-bot-effectiveness.py \
58 classify-closed "$ISSUE_NUMBER" "$CLOSER_LOGIN" "$STATE_REASON"
59
60 classify-open:
61 if: >
62 github.repository == 'zed-industries/zed' &&
63 (github.event_name == 'schedule' || github.event_name == 'workflow_dispatch')
64 runs-on: ubuntu-latest
65 timeout-minutes: 10
66 steps:
67 - name: Checkout repository
68 uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1
69 with:
70 sparse-checkout: script/github-track-duplicate-bot-effectiveness.py
71 sparse-checkout-cone-mode: false
72
73 - name: Get github app token
74 id: get-app-token
75 uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
76 with:
77 app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
78 private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
79 owner: zed-industries
80 repositories: zed
81 permission-issues: read
82 permission-organization-projects: write
83
84 - name: Set up Python
85 uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0
86 with:
87 python-version: "3.12"
88
89 - name: Install dependencies
90 run: pip install requests
91
92 - name: Classify open issues
93 env:
94 GITHUB_TOKEN: ${{ steps.get-app-token.outputs.token }}
95 run: |
96 python script/github-track-duplicate-bot-effectiveness.py classify-open
97