Exclude github-actions bot comments from Trac

[desrosj]

There is a GitHub Action workflow that comments on a pull request when it's the contributors first one with helpful tips and information about contributing.

That comment doesn't really need to be synced over to Trac. Could we skip comments from that user? See: ​https://core.trac.wordpress.org/ticket/51927#comment:4

If skipping the user entirely is not desired, we could skip comments with the Thank you for your contribution to WordPress! 💖 opening line. The github-actions bot does not comment for anything else at this time, but it could potentially in the future. So blocking the user entirely may not be best.

[dd32]

In 10537:

Trac: GitHub PRs: Ignore comments by github-actions[bot] and don't sync those to trac.

See #5551.

[dufresnesteven]

@dd32 Anything left to do?

[dd32]

Nope, I assume it's working, that's probably why I left it open.

@desrosj Please re-open if this didn't fix it!