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

 @dd32 compare the patches for both:

 https://github.com/WordPress/WordPress/commit/3a0e61e680c9fd93440dd80e280991e544ff7ad7.patch
 https://github.com/WordPress/wordpress-
 develop/commit/07b8be117762c804d24c611a518c9aec0c4173ee.patch

 Note the differences in the author email addresses. This can be done for
 all committers by asking them to add their `username at git.wordpress.org`
 email to their GitHub account. Once they do that, then GitHub will link it
 up to their accounts, for example: https://github.com/WordPress/wordpress-
 develop/commit/3669b4726087be0fe3c0a88aa8b811077d07245e

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