if [ -z "`git config push.default || true`" ]; then
verbose git config push.default current # or is tracking better?
fi
- git config filter.mapclean.clean "grep ^[^/]"
- git config filter.mapclean.smudge "cat"
+ verbose git config filter.mapclean.clean "grep ^[^/]"
+ verbose git config filter.mapclean.smudge "cat"
}
mkzip()