File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -174,11 +174,13 @@ PR Review guidelines
174174* Two developers (those with commit rights) should review all pull
175175 requests. If you are the first to review a PR please and approve of
176176 the changes please edit the title to include ``'[MRG+1]' `` and use
177- the github 'approve review' tool to mark it as such. If you are a
178- subsequent reviewer and you approve either merge (and backport if
179- needed) or increment the number in the title to ask for further
180- review (and trigger the gh 'approve review'). If you do the merge please
181- removed the ``'[MRG+N'] `` prefix.
177+ the github `'approve review'
178+ <https://help.github.com/articles/reviewing-changes-in-pull-requests/> `__
179+ tool to mark it as such. If you are a subsequent reviewer and you
180+ approve either merge (and backport if needed) or increment the
181+ number in the title to ask for further review (and trigger the gh
182+ 'approve review'). If you do the merge please removed the
183+ ``'[MRG+N'] `` prefix.
182184
183185* Do not self merge, except for 'small' patches to un-break the CI.
184186
You can’t perform that action at this time.
0 commit comments