summaryrefslogtreecommitdiff
path: root/doc/developer/workflow.rst
diff options
context:
space:
mode:
Diffstat (limited to 'doc/developer/workflow.rst')
-rw-r--r--doc/developer/workflow.rst10
1 files changed, 9 insertions, 1 deletions
diff --git a/doc/developer/workflow.rst b/doc/developer/workflow.rst
index 80029cbd1c..a6a950f685 100644
--- a/doc/developer/workflow.rst
+++ b/doc/developer/workflow.rst
@@ -256,7 +256,15 @@ After submitting your changes
- Wait for reviewers. Someone will review your code or be assigned
to review your code.
- - Respond to any comments or concerns the reviewer has.
+ - Respond to any comments or concerns the reviewer has. Use e-mail or
+ add a comment via github to respond or to let the reviewer know how
+ their comment or concern is addressed.
+ - An author must never delete or manually dismiss someone else's comments
+ or review. (A review may be overridden by agreement in the weekly
+ technical meeting.)
+ - Automatically generated comments, e.g., those generated by CI systems,
+ may be deleted by authors and others when such comments are not the most
+ recent results from that automated comment source.
- After all comments and concerns are addressed, expect your patch
to be merged.