eclipse.platform.releng.aggregator icon indicating copy to clipboard operation
eclipse.platform.releng.aggregator copied to clipboard

Published 20 hours ago • verified publisher icon eclipse-platform

Move org.eclipse.jdt.tips.user to JDT repo

Open laeubi opened this issue 2 years ago • 3 comments

It seems org.eclipse.jdt.tips.user is a regular bundle and is not related to the aggregator, it also does not seem to contain any documentation or special dependencies.

WDYT @akurtakov @mickaelistria

laeubi avatar Oct 31 '23 06:10 laeubi

I think it's OK to move it.

mickaelistria avatar Oct 31 '23 07:10 mickaelistria

Can you propose a PR as you seem the one with most experience of moving parts to different repos at the moment...

laeubi avatar Oct 31 '23 07:10 laeubi

I have other priorities at the moment, I won't be able to deal with this move. I've sent on the mailing-lists steps I've used so that anyone should be able to perform such move as efficiently.

mickaelistria avatar Oct 31 '23 07:10 mickaelistria