On 02.11.2015 07:11, Lennart Sorensen wrote:
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:
On 30.10.2015 13:59, Lennart Sorensen wrote:
I don't have non-fast-forward rights. Does someone from savannah-users
have them? Could he just delete this commit?
If you do that, then anyone that already did a pull after it went in
will have a broken tree. Rather annoying.
Nope. They will
2 matches
Mail list logo