On Fri, Mar 22, 2024 at 3:54 PM LORENZO Vincent via
cross-project-issues-dev <[email protected]> wrote:

> Hello everybody,
>
> I would like to know if there is a way to remove contents pushed on
> https://repo.eclipse.org/#welcome.
>

Don't know.
You can file a ticket at the helpdesk to get help from the Eclipse IT team.
https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues

-Matthias


>
>
> Thank you for your help.
>
> --
>
> Vincent Lorenzo
>
>
>
>
>
>
>
>
> _______________________________________________
> cross-project-issues-dev mailing list
> [email protected]
> To unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
>
_______________________________________________
cross-project-issues-dev mailing list
[email protected]
To unsubscribe from this list, visit 
https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev

Reply via email to