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.
lavalamp · Jul 19, 2016 · 98d2757 · 98d2757
1 parent 9ada26d
commit 98d2757
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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