> On 1 Feb 2023, at 17:03, Frederic Gurr via cross-project-issues-dev
> <cross-project-issues-dev@eclipse.org> wrote:
>
> - /opt/public/* ... will be removed
> ... if projects still rely on storing data in those directories, scripts will
> need to be adapted accordingly
I guess you can iterate over the projects using that server, search for the
string "/opt/public/" and notify the project admins.
Regards,
Liviu
_______________________________________________
cross-project-issues-dev mailing list
cross-project-issues-dev@eclipse.org
To unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev