Make "git reset" a builtin.