diff options
author | Karel Zikmund <karelz@microsoft.com> | 2017-06-02 16:06:00 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-02 16:06:00 +0300 |
commit | 891cb655164b31bc2fc71459780916e328796d30 (patch) | |
tree | def672b96f8f56c5ed6526c3b442e24336399929 /Documentation | |
parent | bf3fe3b207d4eb35d4260075c6efb214c55e8929 (diff) |
Update issue-guide.md
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/project-docs/issue-guide.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/project-docs/issue-guide.md b/Documentation/project-docs/issue-guide.md index e8390c2fe9..87da0b6907 100644 --- a/Documentation/project-docs/issue-guide.md +++ b/Documentation/project-docs/issue-guide.md @@ -135,3 +135,5 @@ Feel free to use other labels if it helps your triage efforts (e.g. **needs more 1. Any other labels on PRs are superfluous and not needed (exceptions: **blocked**, **NO MERGE**) * Motivation: All the important info (*issue type* label, api approval label, OS label, etc.) is already captured on the associated issue. 1. Push PRs forward, don't let them go stale (response every 5+ days, ideally no PRs older than 2 weeks) +1. Stuck or long-term blocked PRs (e.g. due to missing API approval, etc.) should be closed and reopened once they are unstuck + * Motivation: Keep only active PRs. WIP (work-in-progress) PRs should be rare and should not become stale (2+ weeks old). If a PR is stale and there is not immediate path forward, consider closing the PR until it is unblocked/unstuck. |