summaryrefslogtreecommitdiffstats
path: root/git-filter-branch.html
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2017-03-14 16:32:41 -0700
committerJunio C Hamano <gitster@pobox.com>2017-03-14 16:32:41 -0700
commit3c018b0fd927ba2f579334e7a99028cb38f14172 (patch)
tree248ed7f01a5cc550c991e865a657de89f5d606e9 /git-filter-branch.html
parent0f6f3bff0a28c6c521a411bc97083cac5b7f953d (diff)
downloadgit-htmldocs-3c018b0fd927ba2f579334e7a99028cb38f14172.tar.gz
Autogenerated HTML docs for v2.12.0-306-g4a9b9
Diffstat (limited to 'git-filter-branch.html')
-rw-r--r--git-filter-branch.html16
1 files changed, 7 insertions, 9 deletions
diff --git a/git-filter-branch.html b/git-filter-branch.html
index 8b46c4329..7e8a388fd 100644
--- a/git-filter-branch.html
+++ b/git-filter-branch.html
@@ -942,14 +942,12 @@ to other tags will be rewritten to point to the underlying commit.</p></div>
</dt>
<dd>
<p>
- Some kind of filters will generate empty commits, that left the tree
- untouched. This switch allow git-filter-branch to ignore such
- commits. Though, this switch only applies for commits that have one
- and only one parent, it will hence keep merges points. Also, this
- option is not compatible with the use of <code>--commit-filter</code>. Though you
- just need to use the function <em>git_commit_non_empty_tree "$@"</em> instead
- of the <code>git commit-tree "$@"</code> idiom in your commit filter to make that
- happen.
+ Some filters will generate empty commits that leave the tree untouched.
+ This option instructs git-filter-branch to remove such commits if they
+ have exactly one or zero non-pruned parents; merge commits will
+ therefore remain intact. This option cannot be used together with
+ <code>--commit-filter</code>, though the same effect can be achieved by using the
+ provided <code>git_commit_non_empty_tree</code> function in a commit filter.
</p>
</dd>
<dt class="hdlist1">
@@ -1281,7 +1279,7 @@ The <a href="http://rtyley.github.io/bfg-repo-cleaner/#examples">command options
<div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2016-07-13 14:58:50 PDT
+Last updated 2017-03-14 16:32:35 PDT
</div>
</div>
</body>