I agree with Michael. Let each PR progress at an appropriate speed. Whichever lands first lands first, and it’s not major rework for whoever is second.
> On Nov 18, 2019, at 11:27 AM, Michael Mior <[email protected]> wrote: > > We already have to convert the pom.xml into a Gradle build script so > I'm not sure I see why merging before or after matters other than > where the work might be allocated to. I think this does need careful > review though, so I'd imagine that the Gradle migration would > naturally land first. > -- > Michael Mior > [email protected] > > Le dim. 17 nov. 2019 à 14:17, Vladimir Sitnikov > <[email protected]> a écrit : >> >> Julian>We won’t ask you to merge or rebase again for a while >> >> I suggest we merge Redis adapter **after** Gradle migration. >> It would imply the need to convert pom.xml into Gradle build script. >> >> Vladimir
