[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 netweb):

 Replying to [comment:26 pento]:
 > Systems request: https://make.wordpress.org/systems/2016/12/20/deploy-
 key-and-mirroring-for-github-repo/

 A deploy key is ready to be deployed on GitHub for testing :+1:

 * https://make.wordpress.org/systems/2016/12/20/deploy-key-and-mirroring-
 for-github-repo/#comment-1228

 * https://github.com/WordPress/wordpress-develop/settings/keys

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