diff options
Diffstat (limited to 'git-remote-ext.html')
| -rw-r--r-- | git-remote-ext.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/git-remote-ext.html b/git-remote-ext.html index e81564705..7c6850d48 100644 --- a/git-remote-ext.html +++ b/git-remote-ext.html @@ -810,10 +810,10 @@ the same service.</p></div> This argument will not be passed to <em><command></em>. Instead, it
will cause the helper to start by sending git:// service requests to
the remote side with the service field set to an appropriate value and
- the repository field set to rest of the argument. Default is not to send
+ the repository field set to the rest of the argument. Default is not to send
such a request.
</p>
-<div class="paragraph"><p>This is useful if remote side is git:// server accessed over
+<div class="paragraph"><p>This is useful if the remote side is git:// server accessed over
some tunnel.</p></div>
</dd>
<dt class="hdlist1">
@@ -822,7 +822,7 @@ some tunnel.</p></div> <dd>
<p>
This argument will not be passed to <em><command></em>. Instead it sets
- the vhost field in the git:// service request (to rest of the argument).
+ the vhost field in the git:// service request (to the rest of the argument).
Default is not to send vhost in such request (if sent).
</p>
</dd>
@@ -883,7 +883,7 @@ begins with <code>ext::</code>. Examples:</p></div> <dd>
<p>
Like host.example:foo/repo, but use /home/foo/.ssh/somekey as
- keypair and user as user on remote side. This avoids needing to
+ keypair and user as the user on the remote side. This avoids the need to
edit .ssh/config.
</p>
</dd>
@@ -893,7 +893,7 @@ begins with <code>ext::</code>. Examples:</p></div> <dd>
<p>
Represents repository with path /somerepo accessible over
- git protocol at abstract namespace address /git-server.
+ git protocol at the abstract namespace address /git-server.
</p>
</dd>
<dt class="hdlist1">
@@ -963,7 +963,7 @@ begins with <code>ext::</code>. Examples:</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2020-03-10 15:02:33 PDT
+ 2023-10-23 14:43:46 PDT
</div>
</div>
</body>
|