Fix docs

VirtusLab · Dec 7, 2023 · 3b5dff3 · 3b5dff3
1 parent 036b588
commit 3b5dff3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/man/git-machete.1 b/docs/man/git-machete.1
@@ -1104,7 +1104,7 @@ If \fB\&.git/info/reviewers\fP file is present, its contents (one GitHub login p
 .sp
 The subject of the first unique commit of the branch is used as PR title.
 If \fB\&.git/info/description\fP or \fB\&.github/pull_request_template.md\fP file is present, its contents are used as PR description.
-Otherwise (or if \fBmachete.github.forceDescriptionFromCommitMessage\fP) is set, PR description is taken from message body of the first unique commit of the branch.
+Otherwise (or if \fBmachete.github.forceDescriptionFromCommitMessage\fP is set), PR description is taken from message body of the first unique commit of the branch.
 .sp
 If the newly\-created PR is stacked atop another PR, the actual PR description posted to GitHub will be prepended with the following header:
 .sp

diff --git a/docs/source/cli/github.rst b/docs/source/cli/github.rst
@@ -62,7 +62,7 @@ Creates, checks out and manages GitHub PRs while keeping them reflected in branc
 
     The subject of the first unique commit of the branch is used as PR title.
     If ``.git/info/description`` or ``.github/pull_request_template.md`` file is present, its contents are used as PR description.
-    Otherwise (or if ``machete.github.forceDescriptionFromCommitMessage``) is set, PR description is taken from message body of the first unique commit of the branch.
+    Otherwise (or if ``machete.github.forceDescriptionFromCommitMessage`` is set), PR description is taken from message body of the first unique commit of the branch.
 
     If the newly-created PR is stacked atop another PR, the actual PR description posted to GitHub will be prepended with the following header:
 

diff --git a/git_machete/generated_docs.py b/git_machete/generated_docs.py
@@ -626,7 +626,7 @@
 
               The subject of the first unique commit of the branch is used as PR title.
               If `.git/info/description` or `.github/pull_request_template.md` file is present, its contents are used as PR description.
-              Otherwise (or if `machete.github.forceDescriptionFromCommitMessage`) is set, PR description is taken from message body of the first unique commit of the branch.
+              Otherwise (or if `machete.github.forceDescriptionFromCommitMessage` is set), PR description is taken from message body of the first unique commit of the branch.
 
               If the newly-created PR is stacked atop another PR, the actual PR description posted to GitHub will be prepended with the following header: