[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:  (none)
     Type:  enhancement  |      Status:  new
 Priority:  normal       |   Milestone:
Component:  Trac         |  Resolution:
 Keywords:               |
-------------------------+---------------------

Comment (by dd32):

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

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