Jeff King <peff@xxxxxxxx> writes: > On Mon, Nov 17, 2014 at 12:12:25AM +0000, Ryan Jacobs wrote: > >> 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 am not sure that the name difference is all that meaningful. Yes, we > call the repo-wide file .git/info/exclude and the in-tree ones > .gitignore, but I do not know if the distinction is more than historical > accident. It is merely a historical accident. -- 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