diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-08-31 19:05:36 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-09-01 06:22:51 (GMT) |
| commit | 7e0f1704b837355d833d84d18a3811d145867b97 (patch) | |
| tree | d8373eb4b75792ae70aa800e9c5dad84e57cfa9b /Documentation | |
| parent | f0fd889d7ff02efe8ee4a25ae2380db47c128682 (diff) | |
| download | git-7e0f1704b837355d833d84d18a3811d145867b97.zip git-7e0f1704b837355d833d84d18a3811d145867b97.tar.gz git-7e0f1704b837355d833d84d18a3811d145867b97.tar.bz2 | |
filter-branch: provide the convenience functions also for commit filters
Move the convenience functions to the top of git-filter-branch.sh, and
return from the script when the environment variable SOURCE_FUNCTIONS is
set.
By sourcing git-filter-branch with that variable set automatically, all
commit filters may access the convenience functions like "map".
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-filter-branch.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt index 4f89c04..456d52b 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -112,9 +112,6 @@ OPTIONS As a special extension, the commit filter may emit multiple commit ids; in that case, ancestors of the original commit will have all of them as parents. -+ -Note that the 'map' function is not available in the commit filter yet. -This will be changed in a future version. --tag-name-filter <command>:: This is the filter for rewriting tag names. When passed, |