doc: add comment on closing PRs

Signed-off-by: Lou Berger <lberger@labn.net>

diff --git a/doc/developer/workflow.rst b/doc/developer/workflow.rst
index 5a88ac8d1fd2b44fa0994df3dfefa972ae2549b5..d316de0f3870143e59bdca9f4b04a7eaba71fe49 100644 (file)
--- a/doc/developer/workflow.rst
+++ b/doc/developer/workflow.rst
@@ -335,6 +335,11 @@ Guidelines for code review
 - For a PR you marked with "Changes requested", please respond to updates in a
   timely manner to avoid impeding the flow of development.
 
+- Rejected or obsolete PRs are generally closed by the submitter based
+  on requests and/or agreement captured in a PR comment.  The comment
+  may originate with a reviewer or document agreement reached on Slack,
+  the Development mailing list, or the weekly technical meeting.
+
 
 Coding Practices & Style
 ========================