diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-08-31 20:05:36 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-08-31 23:22:51 -0700 |
| commit | 7e0f1704b837355d833d84d18a3811d145867b97 (patch) | |
| tree | d8373eb4b75792ae70aa800e9c5dad84e57cfa9b /Documentation | |
| parent | f0fd889d7ff02efe8ee4a25ae2380db47c128682 (diff) | |
| download | git-7e0f1704b837355d833d84d18a3811d145867b97.tar.gz git-7e0f1704b837355d833d84d18a3811d145867b97.tar.xz | |
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 4f89c04a8..456d52bb2 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, |