Re: [tycho-dev] tycho vs tycho-extras: what's the value?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [tycho-dev] tycho vs tycho-extras: what's the value?

From: Jonah Graham <jonah@xxxxxxxxxxxxxxxx>
Date: Thu, 24 Oct 2019 09:36:11 -0400
Delivered-to: tycho-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/tycho-dev>
List-help: <mailto:tycho-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/tycho-dev>, <mailto:tycho-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/tycho-dev>, <mailto:tycho-dev-request@eclipse.org?subject=unsubscribe>

On Thu, 24 Oct 2019 at 09:28, Aleksandar Kurtakov <akurtako@xxxxxxxxxx> wrote:

On Thu, Oct 24, 2019 at 4:16 PM Mickael Istria <mistria@xxxxxxxxxx> wrote:
Unless the pros growth manage to weigh, I think you know what's going to happen: we'll try merging tycho-extras into main tycho.

I fully agree with you. The split doesn't make sense anymore to me.

References:
- [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Mickael Istria
- Re: [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Aleksandar Kurtakov

Prev by Date: Re: [tycho-dev] tycho vs tycho-extras: what's the value?
Next by Date: Re: [tycho-dev] tycho vs tycho-extras: what's the value?
Previous by thread: Re: [tycho-dev] tycho vs tycho-extras: what's the value?
Next by thread: Re: [tycho-dev] tycho vs tycho-extras: what's the value?
Index(es):
- Date
- Thread

Breadcrumbs