[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:  reopened
 Priority:  normal          |   Milestone:
Component:  Trac            |  Resolution:
 Keywords:                  |
----------------------------+-----------------------

Comment (by dd32):

 Interestingly, this works for meta.trac:
 http://lists.wordpress.org/pipermail/wp-meta/2020-June/041241.html

 I'm guessing that means this is something specific to core.trac?

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