Meta: Add note about abandoned PR's to CONTRIBUTING.md

cubiclove · Oct 29, 2021 · 47b8d80 · 47b8d80
1 parent 3428e2a
commit 47b8d80
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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.