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

 @pento actually I don't think we need a new GitHub user. The right way
 (and easier way) is to allow pushes to a repo by adding a new deploy key
 on the `WordPress/wordpress-develop` repo. Deploy keys are by default read
 & write so they'll be able to push and pull to the repo. More info at
 https://developer.github.com/guides/managing-deploy-keys/#deploy-keys

 Other than that, I think what you outlined is correct.

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