Exclude codecov bot comments from Trac

[desrosj]

Under some conditions, the codecov bot will ​post a comment on a PR with summarizing the impact the PR will have on code coverage.

Copying these comments over to Trac is not necessary, so the codecov[bot] user can be added to the ignore list.

​https://github.com/WordPress/wordpress-develop/pull/1049#issuecomment-786340007

Related #5551.

[dd32]

Should we just ignore all bots flagged as such?

'[bot]' === substr( $payload->comment->user->login, -5 ) // All bot users.

[dd32]

In 10735:

Trac: PRs: Ignore the codecov[bot] bot when syncing comments.

Fixes #5644.

[desrosj]

Replying to 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.

[dd32]

In 10736:

Trac: PRs: Ignore all ....[bot] bot users when syncing comments.

Fixes #5644.