diff options
| author | Andreas Kling <kling@serenityos.org> | 2021-10-29 22:54:10 +0200 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-10-29 22:59:44 +0200 |
| commit | 47b8d8086408fa37c9e7d0eaa9cff5ebe824babd (patch) | |
| tree | 7a2ddbcf563c4db0c091ddf8944a93e43ab406cd | |
| parent | 3428e2a76c66864634e5385b1d9169fb5b2c2e0e (diff) | |
| download | serenity-47b8d8086408fa37c9e7d0eaa9cff5ebe824babd.zip | |
Meta: Add note about abandoned PR's to CONTRIBUTING.md
| -rw-r--r-- | CONTRIBUTING.md | 6 |
1 files changed, 6 insertions, 0 deletions
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. |