[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
Resolution:               |   Keywords:
--------------------------+---------------------

Comment (by netweb):

 @MarkJaquith Were you looking into this? Any progress updates?

 I may even heard there was talk about this at WordCamp London?

 I ask because I'd like to get the bbPress mirror per #637 sooner rather
 than later :)

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