Skip to content

Parameters

tychoVersion
MAVEN_FLAGS
CHERRY_PICKS
space-sparated list of repo+gerrit/rev #s to cherry pick (because we're often behind on gerrit reviews) eg., for https://git.eclipse.org/r/#/c/117456/ use "webtools-common/webtools.common+117456/1"