diff options
author | Junio C Hamano <gitster@pobox.com> | 2024-02-08 15:48:36 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-02-08 15:48:36 -0800 |
commit | 6546a509a43eda541b7749ee45837d7a74ba7339 (patch) | |
tree | a4753bbbeb6fa8a064cbcf570aadb5d4354a1ceb /git-push.html | |
parent | c2015e3db30c76ee24b99a14d244f62f1467f581 (diff) | |
download | git-htmldocs-6546a509a43eda541b7749ee45837d7a74ba7339.tar.gz |
Autogenerated HTML docs for v2.43.0-581-g5216f
Diffstat (limited to 'git-push.html')
-rw-r--r-- | git-push.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/git-push.html b/git-push.html index 1aeffea37..6cd8c752f 100644 --- a/git-push.html +++ b/git-push.html @@ -1429,8 +1429,8 @@ use will be rewritten into URLs that work), you can create a configuration section of the form:</p></div>
<div class="listingblock">
<div class="content">
-<pre><code> [url "<actual url base>"]
- insteadOf = <other url base></code></pre>
+<pre><code> [url "<actual-url-base>"]
+ insteadOf = <other-url-base></code></pre>
</div></div>
<div class="paragraph"><p>For example, with this:</p></div>
<div class="listingblock">
@@ -1445,8 +1445,8 @@ rewritten in any context that takes a URL to be "git://git.host.xz/repo.git".</p configuration section of the form:</p></div>
<div class="listingblock">
<div class="content">
-<pre><code> [url "<actual url base>"]
- pushInsteadOf = <other url base></code></pre>
+<pre><code> [url "<actual-url-base>"]
+ pushInsteadOf = <other-url-base></code></pre>
</div></div>
<div class="paragraph"><p>For example, with this:</p></div>
<div class="listingblock">
|