Alberto Fanjul Alonso <albertofanjul <at> gmail.com> writes: > git ignore <whatever> adds <whatever> to .git/info/exclude This should be "git exclude" not "git ignore". Difference between the two: http://stackoverflow.com/questions/10066749/git- excludes-vs-ignores I'd second the notion of a "git ignore", however it would have to modify the `.gitignore` not `.git/info/exclude`. -- 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