[jdt-core-dev] Merge the new index on monday?

[Stefan Xenos <sxenos@xxxxxxxxxx>]

It looks like the newindex branch just passed the full suite of JDT core unit tests for the first time (build output here: https://hudson.eclipse.org/platform/job/eclipse.jdt.core-Gerrit/1611/console ).

Assuming the build shakes out okay, would anyone object if I merge it into master on monday?

If anyone is curious about the entire set of changes being merged, you can see a diff here:

https://git.eclipse.org/r/#/c/76660/

However, my plan is to merge the original branch using a merge commit - not a squash merge or rebase - that way the original development history over the past year-and-a-half is preserved.

I figure a monday is a good time to do the big merge since everyone will be around to notice a broken build or regressions if they occur.

  - Stefan