"Lennart Sorensen" <lsorense@xxxxxxxxxxxxxxxxxxx> writes: > On Sat, Oct 31, 2015 at 08:24:06AM +0300, Andrei Borzenkov wrote: >> If we decide to fix this commit it is better done now, while it is the last >> one. It is annoying but do you have suggestion how it can be done >> differently? > > Well the only options are: > > 1) Leave it alone > 2) Break the tree of anyone that already pulled. (Posting instructions on > how to fix it would at least be nice then). > > Not sure how many people regularly pull the tree. Is the discussion still require attention by Git folks for their help? If not, could you take this back to savannah specific mailing list? 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