summaryrefslogtreecommitdiffstats
path: root/git-request-pull.html
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2023-10-23 14:45:54 -0700
committerJunio C Hamano <gitster@pobox.com>2023-10-23 14:45:54 -0700
commit33be82183d4cd6dc645f64da1402cf9a3f4cdbf3 (patch)
tree4a681cad5c6da23a7d7f56022666fb31397026d2 /git-request-pull.html
parent359f02427091f2c0fcac4eb7651fe5d159b84a54 (diff)
downloadgit-htmldocs-33be82183d4cd6dc645f64da1402cf9a3f4cdbf3.tar.gz
Autogenerated HTML docs for v2.42.0-482-g2e8e7
Diffstat (limited to 'git-request-pull.html')
-rw-r--r--git-request-pull.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/git-request-pull.html b/git-request-pull.html
index 5a8efb8d4..058ee0c84 100644
--- a/git-request-pull.html
+++ b/git-request-pull.html
@@ -760,7 +760,7 @@ git-request-pull(1) Manual Page
<div class="paragraph"><p>Generate a request asking your upstream project to pull changes into
their tree. The request, printed to the standard output,
begins with the branch description, summarizes
-the changes and indicates from where they can be pulled.</p></div>
+the changes, and indicates from where they can be pulled.</p></div>
<div class="paragraph"><p>The upstream project is expected to have the commit named by
<code>&lt;start&gt;</code> and the output asks it to integrate the changes you made
since that commit, up to the commit named by <code>&lt;end&gt;</code>, by visiting
@@ -816,7 +816,7 @@ its remote name.</p></div>
<h2 id="_examples">EXAMPLES</h2>
<div class="sectionbody">
<div class="paragraph"><p>Imagine that you built your work on your <code>master</code> branch on top of
-the <code>v1.0</code> release, and want it to be integrated to the project.
+the <code>v1.0</code> release, and want it to be integrated into the project.
First you push that change to your public repository for others to
see:</p></div>
<div class="literalblock">
@@ -855,7 +855,7 @@ the one you have locally, e.g.</p></div>
<div id="footer">
<div id="footer-text">
Last updated
- 2021-12-10 14:52:02 PST
+ 2023-10-23 14:43:46 PDT
</div>
</div>
</body>