The new build farm [1] will be rolled out soon. On Monday (Jan. 18th) we will turn off the existing build farm and work on switching to the new build farm for several hours. Pull requests on the rosdistro repo will be on hold starting from this Friday evening to ensure that the build farm is idle on Monday.
In order to benefit from the new options specified in REP 143 [2] the rosdistro files have been upgraded to the new "format 3". If you have kept your system up-to-date there should be nothing to do.
But if you run into the following error:
Unable to handle 'index' format version '3', please update rosdistro"
If you run into any issues please comment on the GitHub PR which converted the rosdistro files 3.
Cheers,
Dirk