[wp-meta] [Making WordPress.org] #5143: GitHub PRs on Trac don't send email notifications

[Making WordPress.org]

#5143: GitHub PRs on Trac don't send email notifications
----------------------------+------------------------
 Reporter:  SergeyBiryukov  |       Owner:  (none)
     Type:  defect          |      Status:  closed
 Priority:  normal          |   Milestone:
Component:  Trac            |  Resolution:  duplicate
 Keywords:                  |
----------------------------+------------------------
Changes (by dd32):

 * status:  new => closed
 * resolution:   => duplicate


Comment:

 Duplicate of #5054.

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