Add a section to CONTRIBUTING.md on inactivity.

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 66dd3bd69520c210a51ec86cbeb73228e56daf7f..c56d15a99a006239e87eda8edb4bbd51323d59df 100644 (file)
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -69,3 +69,16 @@ a maintainer will likely merge it. Otherwise, you can amend your pull
 request to fix build breakage and Jenkins will test it again.
 
 [2] http://monojenkins.cloudapp.net
+
+# Inactivity
+
+Occasionally, a pull request sits for several months without any
+response from the author. This isn't necessarily an issue, but we may
+sometimes decide to close pull requests that have not seen any
+progress for a long time. This is in interest of keeping the pull
+request list clean so that other pull requests don't get lost in the
+clutter.
+
+If we do close your pull request due to inactivity, you're more than
+welcome to submit it anew after you address any comments or issues that
+were brought up on the original pull request.