[wp-meta] [Making WordPress.org] #4903: Show Github PRs on Trac

[Making WordPress.org]

#4903: Show Github PRs on Trac
-------------------------+---------------------
 Reporter:  dd32         |       Owner:  (none)
     Type:  enhancement  |      Status:  closed
 Priority:  normal       |   Milestone:
Component:  Trac         |  Resolution:  fixed
 Keywords:               |
-------------------------+---------------------
Changes (by dd32):

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


Comment:

 I'm going to close this as fixed, as there's a number of follow up tickets
 for individual enhancements for it.

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