[tycho-dev] tycho-extras 0.12.0 CI build
we would like to
consume the p2 publisher mojo from tycho-extras. There is a 0.11.0 released
version available publicly, but we'd rather already use a 0.12.0-SNAPSHOT build
to directly migrate to the changed groupId/packages.