Caleb Cushing <xenoterracide@xxxxxxxxx> writes: > git rm profiles/package.mask > > rm 'profiles/package.mask' > rm 'profiles/package.mask' > rm 'profiles/package.mask/gentoo.org' Ahh, ok, "git rm" Porcelain may well be buggy; I almost never use it myself. "git update-index --force-remove profiles/package.mask" should work better. I tend to trust plumbing a lot more than Porcelain for these corner cases. -- 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
