diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-10-17 03:22:25 +0100 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-10-16 22:47:51 -0400 |
| commit | 8ef44519a64d3ac863a9a3a6dbdba09ea275c822 (patch) | |
| tree | 0800f7d29cde60bd1e7c37c9eec3ec3855a6ac19 | |
| parent | 7e23b06d5972ebf6377380b2dba97aeea9b7c02d (diff) | |
| download | git-8ef44519a64d3ac863a9a3a6dbdba09ea275c822.tar.gz git-8ef44519a64d3ac863a9a3a6dbdba09ea275c822.tar.xz | |
fix filter-branch documentation
The man page for filter-branch still talked about writing the result
to the branch "newbranch". This is hopefully the last place where the
old behaviour was described.
Noticed by Bill Lear.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
| -rw-r--r-- | Documentation/git-filter-branch.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt index c878ed395..ba9b4fbca 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -180,8 +180,7 @@ A significantly faster version: git filter-branch --index-filter 'git update-index --remove filename' HEAD -------------------------------------------------------------------------- -Now, you will get the rewritten history saved in the branch 'newbranch' -(your current branch is left untouched). +Now, you will get the rewritten history saved in HEAD. To set a commit (which typically is at the tip of another history) to be the parent of the current initial commit, in |