Commit 7217a78
authored
[Internal] Docs: Update PR monitoring frequency to 5-10 minutes (#5603)
## Description
🤖 **This PR was authored by GitHub Copilot**
Updates PR monitoring guidance to specify consistent 5-10 minute
intervals for both CI and review comment checks.
## Changes
**Before:**
```yaml
frequency: "Check every session or when user requests status"
```
**After:**
```yaml
frequency: "Every 5-10 minutes while session is active"
monitoring_loop:
interval: "5-10 minutes"
check_ci: "gh pr checks {pr_number}"
check_comments: "gh api .../pulls/{pr_number}/comments"
check_reviews: "gh pr view {pr_number} --json reviews,reviewDecision"
```
## Why
- Consistent monitoring frequency for CI and comments
- Clear commands for each check type
- Explicit actions for each monitoring outcome
---
*Generated by GitHub Copilot CLI Agent*1 parent 65688ee commit 7217a78
1 file changed
Lines changed: 10 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4315 | 4315 | | |
4316 | 4316 | | |
4317 | 4317 | | |
4318 | | - | |
| 4318 | + | |
4319 | 4319 | | |
4320 | 4320 | | |
| 4321 | + | |
| 4322 | + | |
| 4323 | + | |
| 4324 | + | |
| 4325 | + | |
| 4326 | + | |
| 4327 | + | |
| 4328 | + | |
| 4329 | + | |
4321 | 4330 | | |
4322 | 4331 | | |
4323 | 4332 | | |
| |||
0 commit comments