On Wednesday, October 17, 2007 at 03:23:10 (+0100) Johannes Schindelin writes: > >Earlier, "git filter-branch --<options> HEAD" would not update the >working tree after rewriting the branch. This commit fixes it. > >Signed-off-by: Johannes Schindelin <johannes.schindelin@xxxxxx> >--- > > Bill, I hope this clarifies some things for you, too... Thanks very much. I hope so, too. I'll pull this in to my tree when it gets into the git repository (how do I know when that happens, or do I just need to pull and inspect?). Bill - 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
