diff options
| author | Brian Gernhardt <benji@silverinsanity.com> | 2007-08-17 19:13:04 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-08-17 16:32:57 -0700 |
| commit | 5876b8ee3c09553912a4d033051bb25faa52ad94 (patch) | |
| tree | 408e8005b74f0675d46e07b069f6ebe8a0be664d /Documentation | |
| parent | e63b58ba0b67262674c94321693c4f84a58ecf80 (diff) | |
| download | git-5876b8ee3c09553912a4d033051bb25faa52ad94.tar.gz | |
Minor clarifications to git-filter-branch usage and doc
- Remove "DESTBRANCH" from usage, as it rewrites the branches given.
- Remove an = from an example usage, as the script doesn't understand
it.
Signed-off-by: Brian Gernhardt <benji@silverinsanity.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-filter-branch.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt index 915258f410..8c43be611a 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -120,7 +120,7 @@ have all of them as parents. tag name is expected on standard output. + The original tags are not deleted, but can be overwritten; -use "--tag-name-filter=cat" to simply update the tags. In this +use "--tag-name-filter cat" to simply update the tags. In this case, be very careful and make sure you have the old tags backed up in case the conversion has run afoul. + |