diff options
Diffstat (limited to 'git-filter-branch.sh')
| -rw-r--r--[-rwxr-xr-x] | git-filter-branch.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/git-filter-branch.sh b/git-filter-branch.sh index c22266b48..6cf67df5d 100755..100644 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -13,6 +13,10 @@ set -e USAGE="git-filter-branch [-d TEMPDIR] [FILTERS] DESTBRANCH [REV-RANGE]" . git-sh-setup +warn () { + echo "$*" >&2 +} + map() { # if it was not rewritten, take the original |