diff options
author | Junio C Hamano <junio@hera.kernel.org> | 2009-08-11 06:23:52 +0000 |
---|---|---|
committer | Junio C Hamano <junio@hera.kernel.org> | 2009-08-11 06:23:52 +0000 |
commit | 9f88386765adc1aacb4a0e3b488c69cffc59ca70 (patch) | |
tree | 2875537bd869b9969298d294b8131e3ec70dd856 /git-remote.html | |
parent | 31cca1669fe45cbdca5a7f6b888e9a1d04ee1f10 (diff) | |
download | git-htmldocs-9f88386765adc1aacb4a0e3b488c69cffc59ca70.tar.gz |
Autogenerated HTML docs for v1.6.4-114-gefd1
Diffstat (limited to 'git-remote.html')
-rw-r--r-- | git-remote.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/git-remote.html b/git-remote.html index 191efe294..e77624d6e 100644 --- a/git-remote.html +++ b/git-remote.html @@ -444,7 +444,7 @@ These stale branches have already been removed from the remote repository referenced by <name>, but are still locally available in
"remotes/<name>".
</p>
-<div class="para"><p>With <tt>--dry-run</tt> option, report what branches will be pruned, but do no
+<div class="para"><p>With <tt>--dry-run</tt> option, report what branches will be pruned, but do not
actually prune them.</p></div>
</dd>
<dt>
@@ -454,7 +454,7 @@ actually prune them.</p></div> <p>
Fetch updates for a named set of remotes in the repository as defined by
remotes.<group>. If a named group is not specified on the command line,
-the configuration parameter remotes.default will get used; if
+the configuration parameter remotes.default will be used; if
remotes.default is not defined, all remotes which do not have the
configuration parameter remote.<name>.skipDefaultUpdate set to true will
be updated. (See <a href="git-config.html">git-config(1)</a>).
@@ -531,7 +531,7 @@ $ git merge origin</tt></pre> </div>
<div id="footer">
<div id="footer-text">
-Last updated 2009-07-01 02:31:00 UTC
+Last updated 2009-08-11 06:23:34 UTC
</div>
</div>
</body>
|