Re: [che-dev] che-bot PR comments

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

Re: [che-dev] che-bot PR comments - annoying or useful?

From: Thomas Mäder <tmader@xxxxxxxxxx>
Date: Wed, 27 Nov 2019 13:44:09 +0100
Delivered-to: che-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/che-dev>
List-help: <mailto:che-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/che-dev>, <mailto:che-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/che-dev>, <mailto:che-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2


On 27/11/2019 12:58, Michal Vala wrote:

I'd like to propose to disable che-bot comments by default and make it
possible to enable it with a label. If disable by default is not
acceptable for whatever reason, at least make it possible to disable
che-bot comments with a label.

What do you think?


+1

/Thomas

Follow-Ups:
- Re: [che-dev] che-bot PR comments - annoying or useful?
  - From: Sergii Kabashniuk

References:
- [che-dev] che-bot PR comments - annoying or useful?
  - From: Michal Vala

Prev by Date: [che-dev] che-bot PR comments - annoying or useful?
Next by Date: Re: [che-dev] che-bot PR comments - annoying or useful?
Previous by thread: [che-dev] che-bot PR comments - annoying or useful?
Next by thread: Re: [che-dev] che-bot PR comments - annoying or useful?
Index(es):
- Date
- Thread

Breadcrumbs