yes, and 83 maven-box CI jobs [1]
some CI failures are not really expected, but in general, the result is good
it's time for everybody to check his favorite plugin or shared component and
do the little fixes: the global migration is done
and it's time also to start reviewing PRs and merging: th
I see we have a large number of repos now on gitbox ;-)
On Thu 7 Dec 2017 at 07:00, Hervé BOUTEMY wrote:
> ok, I didn't update my repo clone: now the run-its profile is activated
>
> then the plan should just confirm "it works!" :)
>
> and find which jobs are special, like maven-dist-tool (which
