[wp-meta] [Making WordPress.org] #6087: Provide a GitHub Integration for Plugins

[Making WordPress.org]

#6087: Provide a GitHub Integration for Plugins
------------------------------+-------------------------
 Reporter:  dd32              |       Owner:  (none)
     Type:  feature request   |      Status:  closed
 Priority:  high              |   Milestone:
Component:  Plugin Directory  |  Resolution:  maybelater
 Keywords:                    |
------------------------------+-------------------------
Changes (by dd32):

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


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