Hi, On Wed, Jul 16, 2008 at 07:00:50PM +0100, Ciaran McCreesh wrote: > git rm --if-missing will only remove files if they've already been removed from > disk. > > Signed-off-by: Ciaran McCreesh <ciaran.mccreesh@xxxxxxxxxxxxxx> what is the usage scenario? The porcelain options space is a precious resource, so please explain why do you need this and who is going to use it (especially with such a long name). Petr "Pasky" Baudis -- 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
