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

 > GitHub maintain an "authors" file, mapping each committer to an email
 address, I'm not exactly sure where this file is stored but I believe when
 a new committer is added it is this file @MarkJaquith has to update to get
 the "sync" working again for https://github.com/wordpress/wordpress

 That's a git-svn thing, instead for git://develop.git.wordpress.org we map
 each committer to `$user at git.wordpress.org` instead. Github itself doesn't
 need an Author file, the remapping on import is just incase the users
 email addresses differ or have changed.

 > This doesn't work so well for other committers who also want to have
 their email address displayed publicly on their GitHub profile, they may
 want to use it for non WordPress purposes, for example
 https://github.com/rmccue, he'd be unable to have both his personal email
 address and rmccue at git.wordpress.org

 It doesn't need to be the users primary email address, just an email
 address on their [https://github.com/settings/emails Github Emails]
 screen, which is how it's working for a sub-selection of the committers
 atm ([https://github.com/WordPress/wordpress-
 develop/commit/2d854ef7142cf7de25c86f8f6ba39e3a8ed99795 ie. me]).

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