function gi { first=$1; shift; first=${first/#t/}; git "$first" "$@"; }
Reply on news.ycombinator.com