From 98d2757201217f569414b0623ab872cff56c4311 Mon Sep 17 00:00:00 2001 From: Antoine Pelisse Date: Tue, 19 Jul 2016 15:40:53 -0700 Subject: [PATCH] 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. --- docs/devel/automation.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/devel/automation.md b/docs/devel/automation.md index a1f0144fcc..4ef1479eae 100644 --- a/docs/devel/automation.md +++ b/docs/devel/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