From 4f096dbad5cd0855971171f39ae7192332d5441f Mon Sep 17 00:00:00 2001 From: Stefan Paquay Date: Mon, 2 Jan 2017 18:53:28 +0100 Subject: [PATCH] Updated some inconsistent text. --- doc/src/tutorial_github.txt | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/doc/src/tutorial_github.txt b/doc/src/tutorial_github.txt index 78050c189d..1d476fd049 100644 --- a/doc/src/tutorial_github.txt +++ b/doc/src/tutorial_github.txt @@ -169,13 +169,14 @@ request" button, see image. :c,image(JPG/tutorial_create_new_pull_request1.png) -After this you have to specify a short title and a comment with -details about your pull request. I guess here you write what your -modifications do and why they should be incorporated upstream. After -that, click the "Create pull request" button, see image below. +Before creating the pull request, make sure the short title is accurate +and add a comment with details about your pull request. +I guess here you write what your modifications do and why they should +be incorporated upstream. After that, click the "Create pull request" +button, see image below. -Now just write some nice comments, click "Comment", and that is it. It -is now up to the maintainer(s) of the upstream repository to +Now just write some nice comments, click on "Create pull request", and that is it. +It is now up to the maintainer(s) of the upstream repository to incorporate the changes into the repository and to close the pull request.