Skip to content

Commit

Permalink
Document the doc-merge label
Browse files Browse the repository at this point in the history
Signed-off-by: pama-ibm <pama@ibm.com>
  • Loading branch information
pamandrejko authored and mergify[bot] committed Aug 28, 2020
1 parent ddffd90 commit e43b104
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions docs/source/docs_guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -292,7 +292,10 @@ can find the maintainers listed in the following `CODEOWNERS` files:

Both language repositories have a GitHub webhook defined so that, once approved,
your newly merged content in the `docs/` folder will trigger an automatic build
and publication of the updated documentation.
and publication of the updated documentation.

**Note:** Documentation maintainers are not able to to merge documentation PRs by clicking the `Merge pull request` button. Instead, if you are a documentation maintainer and have approved the PR, simply add the label `doc-merge` to the PR and a `Mergify` bot that runs every minute will merge the PR.


## Commands Reference updates

Expand Down Expand Up @@ -335,4 +338,4 @@ This process only applies to English language translations. CLI
command translation is currently not possible in international languages.

<!--- Licensed under Creative Commons Attribution 4.0 International License
https://creativecommons.org/licenses/by/4.0/ -->
https://creativecommons.org/licenses/by/4.0/ -->

0 comments on commit e43b104

Please sign in to comment.