Ramkumar Ramachandra wrote: >> + __git_complete_index_file "--with-tree=HEAD --cached --deleted" > > Might as well go all the way with "--cached --deleted --unmerged > --others" no? What is the point of --with-tree=HEAD?
Ugh, --deleted doesn't work as advertised (terrible documentation). The minimally correct combination we need seems to be "--with-tree=HEAD --cached --others". -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
