Re: [cbi-dev] Can Platform Bot vote on JDT repos?

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

Re: [cbi-dev] Can Platform Bot vote on JDT repos?

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Tue, 8 Dec 2020 12:35:26 +0100
Delivered-to: cbi-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/cbi-dev>
List-help: <mailto:cbi-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/cbi-dev>, <mailto:cbi-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/cbi-dev>, <mailto:cbi-dev-request@eclipse.org?subject=unsubscribe>

Thanks Fred, that will help for this iteration.

However, in the meantime, some discussions with other Eclipse committers led to the conclusion that a separate bot would be preferred. I've opened https://bugs.eclipse.org/bugs/show_bug.cgi?id=569541 about that.

Follow-Ups:
- Re: [cbi-dev] Can Platform Bot vote on JDT repos?
  - From: Frederic Gurr

References:
- [cbi-dev] Can Platform Bot vote on JDT repos?
  - From: Mickael Istria
- Re: [cbi-dev] Can Platform Bot vote on JDT repos?
  - From: Frederic Gurr

Prev by Date: Re: [cbi-dev] Can Platform Bot vote on JDT repos?
Next by Date: Re: [cbi-dev] Can Platform Bot vote on JDT repos?
Previous by thread: Re: [cbi-dev] Can Platform Bot vote on JDT repos?
Next by thread: Re: [cbi-dev] Can Platform Bot vote on JDT repos?
Index(es):
- Date
- Thread

Breadcrumbs