Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/146745
New Gerrit change created: https://git.eclipse.org/r/146744
New Gerrit change created: https://git.eclipse.org/r/146743
New Gerrit change created: https://git.eclipse.org/r/146742
New Gerrit change created: https://git.eclipse.org/r/146748
New Gerrit change created: https://git.eclipse.org/r/148280
Would love to see this feature merged.
+1, I consider this a very useful feature (currently having to merge from terminal to have this conflict style)
I believe this bug should be closed, given that the following Gerrit change got merged and released: https://git.eclipse.org/r/148280
merged as 462c57ec8d94b23e21479394ee7880e0fc1bb832
I meant https://git.eclipse.org/r/c/jgit/jgit/+/148280/ was merged as 462c57ec8d94b23e21479394ee7880e0fc1bb832