[wp-meta] [Making WordPress.org] #633: Add sync for develop.git.wordpress.org with Github

[Making WordPress.org]

#633: Add sync for develop.git.wordpress.org with Github
-----------------------------+---------------------
 Reporter:  jorbin           |       Owner:
     Type:  enhancement      |      Status:  closed
 Priority:  normal           |   Milestone:
Component:  Version Control  |  Resolution:  fixed
 Keywords:                   |
-----------------------------+---------------------
Changes (by pento):

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


Comment:

 Changes are now being pushed immediately.

 Changes to Core for the new repo can take place on core.trac, the meta
 part is done.

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