[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           |   Milestone:
Component:  Version Control  |  Resolution:
 Keywords:                   |
-----------------------------+------------------

Comment (by pento):

 Yeah, I saw those docs, we apparently have some magical thing where GitHub
 pulls changes, instead of us pushing them in a post commit hook.

 I'm not an admin on GitHub, @otto42 or @dd32 are probably the people to
 chat to about getting Travis set up.

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