From 47b8d8086408fa37c9e7d0eaa9cff5ebe824babd Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Fri, 29 Oct 2021 22:54:10 +0200 Subject: [PATCH] Meta: Add note about abandoned PR's to CONTRIBUTING.md --- CONTRIBUTING.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index edfb0b9218..b4d7fda48f 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -103,3 +103,9 @@ To enable these hooks firstly follow the installation instructions available at ```console pre-commit install --hook-type commit-msg ``` + +## On abandoned pull requests + +Sometimes good PR's get abandoned by the author for one reason or another. If the PR is fundamentally good, but the author is not responding to requests, the PR may be manually integrated with minor changes to code and commit messages. + +To make this easier, we do appreciate it if folks enable the "Allow edits from maintainers" flag on their pull requests.