Hi, The following is quite surprising: $ git tags git: 'tags' is not a git-command. See 'git --help'. Did you mean this? status I would have expected git to propose me "tag" (1 character removal), while "status" is quite far from "tags" (remove g, add u, add another t, shuffle and you're there). my 2 cents, -- Matthieu -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html