mirror of
https://github.com/microsoft/agent-framework.git
synced 2026-06-16 21:04:09 +08:00
Evan Mattson
1272ec5adf
* Add script to ping on stale issues/PRs * Add script to ping on stale issues/PRs * Fix stale issue/PR ping script review comments - Rename TEAM_NAME env var to TEAM_SLUG for clarity - Add actionable error messages for 403/404 team lookup failures - Add contents:read permission for actions/checkout - Use github.event.inputs context with fallback for scheduled runs - Pin PyGithub to 2.6.0 for reproducible builds - Fetch comments once in should_ping() to reduce API calls - Make ping() retry loop idempotent (track comment/label state) - Validate DAYS_THRESHOLD with helpful error for non-numeric input - Fix timezone bug: use astimezone() instead of replace(tzinfo=) - Add comprehensive unit tests (29 tests) Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --------- Co-authored-by: Copilot <copilot@github.com> Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
50 lines
1.2 KiB
YAML
50 lines
1.2 KiB
YAML
name: Stale issue and PR ping
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '0 0 * * *' # Midnight UTC daily
|
|
workflow_dispatch:
|
|
inputs:
|
|
days_threshold:
|
|
description: 'Days of silence before pinging the author'
|
|
required: false
|
|
default: '4'
|
|
dry_run:
|
|
description: 'Log what would be pinged without taking action'
|
|
required: false
|
|
default: 'false'
|
|
type: choice
|
|
options:
|
|
- 'false'
|
|
- 'true'
|
|
|
|
concurrency:
|
|
group: stale-issue-pr-ping
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
ping_stale:
|
|
name: "Ping stale issues and PRs"
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
contents: read
|
|
issues: write
|
|
pull-requests: write
|
|
steps:
|
|
- uses: actions/checkout@v6
|
|
|
|
- uses: actions/setup-python@v5
|
|
with:
|
|
python-version: '3.13'
|
|
|
|
- name: Install dependencies
|
|
run: pip install PyGithub==2.6.0
|
|
|
|
- name: Run stale issue/PR ping
|
|
run: python .github/scripts/stale_issue_pr_ping.py
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GH_ACTIONS_PR_WRITE }}
|
|
TEAM_SLUG: ${{ secrets.DEVELOPER_TEAM }}
|
|
DAYS_THRESHOLD: ${{ github.event.inputs.days_threshold || '4' }}
|
|
DRY_RUN: ${{ github.event.inputs.dry_run || 'false' }}
|