Autogenerated HTML docs for v2.19.1-450-ga4b8a

1 files changed, 7 insertions, 5 deletions

diff --git a/git.html b/git.html
index 83f376216..37cc24547 100644
--- a/git.html
+++ b/git.html
@@ -838,7 +838,7 @@ git --git-dir=c/a.git --work-tree=c/b status</code></pre>
 <code>foo.bar</code> to the boolean true value (just like <code>[foo]bar</code> would in a

 config file). Including the equals but with an empty value (like <code>git -c

 foo.bar= ...</code>) sets <code>foo.bar</code> to the empty string which <code>git config

---bool</code> will convert to <code>false</code>.</p></div>

+--type=bool</code> will convert to <code>false</code>.</p></div>

 </dd>

 <dt class="hdlist1">

 --exec-path[=&lt;path&gt;]

@@ -1605,7 +1605,7 @@ people via patch over e-mail.</p></div>
 </dt>

 <dd>

 <p>

-        Import an Arch repository into Git.

+        Import a GNU Arch repository into Git.

 </p>

 </dd>

 <dt class="hdlist1">

@@ -1727,7 +1727,7 @@ repositories.</p></div>
 </dt>

 <dd>

 <p>

-        Write and verify Git commit graph files.

+        Write and verify Git commit-graph files.

 </p>

 </dd>

 <dt class="hdlist1">

@@ -3171,7 +3171,9 @@ the authors for specific parts of the project.</p></div>
 <div class="sectionbody">

 <div class="paragraph"><p>Report bugs to the Git mailing list &lt;<a href="mailto:git@vger.kernel.org">git@vger.kernel.org</a>&gt; where the

 development and maintenance is primarily done.  You do not have to be

-subscribed to the list to send a message there.</p></div>

+subscribed to the list to send a message there.  See the list archive

+at <a href="https://public-inbox.org/git">https://public-inbox.org/git</a> for previous bug reports and other

+discussions.</p></div>

 <div class="paragraph"><p>Issues which are security relevant should be disclosed privately to

 the Git Security mailing list &lt;<a href="mailto:git-security@googlegroups.com">git-security@googlegroups.com</a>&gt;.</p></div>

 </div>

@@ -3197,7 +3199,7 @@ the Git Security mailing list &lt;<a href="mailto:git-security@googlegroups.com"
 <div id="footer">

 <div id="footer-text">

 Last updated

- 2018-09-17 15:45:24 PDT

+ 2018-10-16 16:37:05 JST

 </div>

 </div>

 </body>