Hi, On Thu, 14 Dec 2006, Pazu wrote: > 2006/12/14, Rogan Dawes <discard@xxxxxxxxxxxx>: > > > Why not remove it from the repo, then set .gitignore? > > > > If it is generated code, or compiled code, it probably shouldn't be in > > the repo in the first place . . . Simply correct that mistake, and you > > are good to go. > > Basically, because I don't want to mess with the upstream. I know, I > can remove them only from my local branch, and never push the commit > that removed the files, and that's what I'll probably do if there's no > other way -- but it would be best if I could just ignore the files. It > doesn't sound unreasonable, does it? It is not unreasonable. But I could not find an easy way to do it with git. It should be easy to hack it into it, though. Ciao, Dscho - 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