Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> writes: > Yep, I'm fine with "mini-mentoring", and just to be safe, the 7 new > characters in git-filter-branch.sh are (also) > > Signed-off-by: Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> > > in case that is needed or preferred. I was wondering if we want to do that or I can just add comments "based on MJG's suggestion" or somesuch. Most likely I'd do both ;-) Thanks. -- 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