[wp-meta] [Making WordPress.org] #5644: Exclude codecov bot comments from Trac

[Making WordPress.org]

#5644: Exclude codecov bot comments from Trac
-------------------------+---------------------
 Reporter:  desrosj      |       Owner:  dd32
     Type:  enhancement  |      Status:  closed
 Priority:  normal       |   Milestone:
Component:  Trac         |  Resolution:  fixed
 Keywords:               |
-------------------------+---------------------

Comment (by desrosj):

 Replying to [comment:1 dd32]:
 > Should we just ignore all bots flagged as such?
 > {{{
 > '[bot]' === substr( $payload->comment->user->login, -5 ) // All bot
 users.
 > }}}

 That's probably a good idea. I can't really think of a time when we would
 want a bot comment to be synced to Trac. Bots are usually posting
 something that is contextual to the PR and not so much the ticket or
 problem being solved.

-- 
Ticket URL: <https://meta.trac.wordpress.org/ticket/5644#comment:3>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org