[wp-trac] [WordPress Trac] #61883: GitHub Actions: update Props bot

[WordPress Trac]

#61883: GitHub Actions: update Props bot
--------------------------+-----------------------------
 Reporter:  jeherve       |      Owner:  (none)
     Type:  defect (bug)  |     Status:  new
 Priority:  normal        |  Milestone:  Awaiting Review
Component:  General       |    Version:
 Severity:  minor         |   Keywords:  has-patch
  Focuses:                |
--------------------------+-----------------------------
 The existing Props bot that runs in the `WordPress/wordpress-develop/`
 repository seems to include a little typo: when wanting to filter by event
 type, we must use `types`, and not `type`.

 Reference: https://docs.github.com/en/actions/writing-workflows/choosing-
 when-your-workflow-runs/events-that-trigger-workflows#issue_comment

-- 
Ticket URL: <https://core.trac.wordpress.org/ticket/61883>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform