From b6ba92511091f9b50df4519c9b8d794199b25544 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Korbinian=20B=C3=B6sl?= Date: Fri, 27 Oct 2023 15:41:43 +0200 Subject: [PATCH] Update editorial_board_guide.md --- pages/contribute/editorial_board_guide.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pages/contribute/editorial_board_guide.md b/pages/contribute/editorial_board_guide.md index 222e25677..d027a9b83 100644 --- a/pages/contribute/editorial_board_guide.md +++ b/pages/contribute/editorial_board_guide.md @@ -44,7 +44,8 @@ More information about these topics can be found in the GitHub documentation: ## Review pull requests -If contributors make a pull request to make changes, by default the editors that are responsible for files that will be changed by the PR will be assigned and notified. All PR should be assigned to one of the editors. The use of the suggestion for specific changes to the line or lines (by clicking {% octicon file-diff height:16 %}) in the comment field) For more infomration about this please visit the [GitHub documentation page: starting a review](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/reviewing-proposed-changes-in-a-pull-request#starting-a-review). +If contributors make a pull request to make changes, by default the editors that are responsible for files that will be changed by the PR will be assigned and notified. All PR should be assigned to one of the editors. The use of the suggestion for specific changes to the line or lines (by clicking {% include image.html file="octicon:file-diff.svg" inline=true alt="Raw button GitHub." %} in the comment field) For more infomration about this please visit the [GitHub documentation page: starting a review](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/reviewing-proposed-changes-in-a-pull-request#starting-a-review). + Before merging a PR, pages' tags, and tools and resources' tags should be checked and assigned according to the established tagging system. The editor who provides the last approval to a PR should also merge it.