"Lennart Sorensen" [off-list ref] writes:
On Sat, Oct 31, 2015 at 08:24:06AM +0300, Andrei Borzenkov wrote:
quoted
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.