diff options
author | Alex Rønne Petersen <alexrp@xamarin.com> | 2014-06-24 13:11:46 +0400 |
---|---|---|
committer | Alex Rønne Petersen <alexrp@xamarin.com> | 2014-06-24 13:12:08 +0400 |
commit | 18bf2e6869cc31d3ac24d564e0b12d3c5a740bb9 (patch) | |
tree | 562425e32b754d6d588d486e60ddd8f44e577259 /CONTRIBUTING.md | |
parent | 2d3735c6a6def9e30962dcc013cd322845bbf6ce (diff) |
Add a section to CONTRIBUTING.md on inactivity.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 66dd3bd6952..c56d15a99a0 100644 --- 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. |