[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:  new
Priority:  normal       |  Component:  General
Keywords:               |
------------------------+---------------------
 By syncing develop.*  we can take advantage of travis-ci and have an
 official travis repository.

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