diff options
| author | Antoine Pelisse <apelisse@google.com> | 2016-07-19 15:40:53 -0700 |
|---|---|---|
| committer | Antoine Pelisse <apelisse@google.com> | 2016-07-19 15:41:59 -0700 |
| commit | fbc5fb01fccbfc243995149832cacf933377513f (patch) | |
| tree | 88cf4be214694f0e8982953ef5bf9533bd69a7f6 | |
| parent | 15c9cf53f687f3f9a801244f7b708e62a15b0d0e (diff) | |
Mention that comments keep pull-requests open
A comment in a pull-request will keep it open for another 90 days. Let's
mention that in the documentation for people who can't add labels.
| -rw-r--r-- | automation.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/automation.md b/automation.md index a1f0144f..4ef1479e 100644 --- a/automation.md +++ b/automation.md @@ -118,7 +118,8 @@ happening is to add the "keep-open" label on the pull-request. Feel free to re-open and maybe add the "keep-open" label if this happens to a valid pull-request. It may also be a good opportunity to get more attention by verifying that it is properly assigned and/or mention people that might be -interested. +interested. Commenting on the pull-request will also keep it open for another 90 +days. ## PR builder |