[wp-meta] [Making WordPress.org] #633: Add sync for develop.git.wordpress.org with Github
Making WordPress.org
noreply at wordpress.org
Fri Dec 9 06:40:51 UTC 2016
#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:17 dd32]:
> Also; What do we need to do to get all commits referencing the author?
Ie. compare
https://github.com/WordPress/WordPress/commit/3a0e61e680c9fd93440dd80e280991e544ff7ad7
to https://github.com/WordPress/wordpress-
develop/commit/07b8be117762c804d24c611a518c9aec0c4173ee
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
When importing a new VCS repo into GitHub you map the committers email
address during import: https://cloudup.com/cy8Oe4GEX-n
Replying to [comment:18 westonruter]:
> 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
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`
--
Ticket URL: <https://meta.trac.wordpress.org/ticket/633#comment:20>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org
More information about the wp-meta
mailing list