From fd3b7f94501a8774df0ae18aa51db544540e9e69 Mon Sep 17 00:00:00 2001 From: Zetok Zalbavar Date: Tue, 24 Jan 2017 20:28:45 +0000 Subject: [PATCH] docs(MAINTAINING): add info about pull request "expiration date" Also removed obsolete info regarding PRs. --- MAINTAINING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/MAINTAINING.md b/MAINTAINING.md index 85df4d367..d2b21750d 100644 --- a/MAINTAINING.md +++ b/MAINTAINING.md @@ -72,13 +72,13 @@ git config --global alias.logs 'log --show-signature' the PR before merging. - with trivial changes, like fixing typos or something along those lines, feel free to merge right away. -- if you're about to merge PR, assign yourself to it. -- if you decide that PR actually isn't to be (yet) merged, de-assign yourself. - if PR requires some changes, comment what parts need to be adjusted, and assign the `PR-needs-changes` label – after requested changes are done, remove the label. - if PR doesn't apply properly on top of current master (when using [`merge-pr.sh`] script), request a rebase and tag PR with `PR-needs-rebase`. +- if a PR requires changes but there has been no activity from the PR submitter + for more than 2 months, close the PR. # Issues