[wp-meta] [Making WordPress.org] #1702: Add GitHub bot for PR/issue mentions

[Making WordPress.org]

#1702: Add GitHub bot for PR/issue mentions
-------------------------+-------------------------
 Reporter:  ocean90      |       Owner:
     Type:  enhancement  |      Status:  closed
 Priority:  normal       |   Milestone:
Component:  Slack & IRC  |  Resolution:  maybelater
 Keywords:               |
-------------------------+-------------------------

Comment (by ocean90):

 The main reason for the ''maybelater'' was that GitHub has also sent email
 notifications for comments by bots. Not sure if that has changed.

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