summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKlaus Ma <k82cn@icloud.com>2017-01-02 21:05:10 +0800
committerGitHub <noreply@github.com>2017-01-02 21:05:10 +0800
commit717088c7fe52cc368e0a53c1289db5f3690a29ec (patch)
treeee4866292b3934be0a41fd4ea1e1f790aa4c6a5c
parent56ef1ee95418c2457f5c1398bebb2c2eae411051 (diff)
parentf67cde71da8db3719f02fb5ec612ae814a0e2838 (diff)
Merge pull request #208 from k82cn/add_wip_process
Add "WIP-" process notes to pull request.
-rw-r--r--contributors/devel/pull-requests.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/contributors/devel/pull-requests.md b/contributors/devel/pull-requests.md
index 888d7320..fdb91f4c 100644
--- a/contributors/devel/pull-requests.md
+++ b/contributors/devel/pull-requests.md
@@ -93,6 +93,8 @@ request that subsequently needs to be reopened. We want to limit the total numbe
* Remove old PRs that would be difficult to rebase as the underlying code has changed over time
* Encourage code velocity
+For pull requests that are in progress but not ready for review, prefix the PR title with "WIP" and
+track any remaining TODOs in a checklist in the pull request description.
# Automation