Hi, per request at https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests and T185282
We should setup design/style-guide to mirror from https://github.com/wikimedia/WikimediaUI-Style-Guide/
Hi, per request at https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests and T185282
We should setup design/style-guide to mirror from https://github.com/wikimedia/WikimediaUI-Style-Guide/
@Krinkle they said on https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests
"Please clone https://github.com/wikimedia/WikimediaUI-Style-Guide/. GitHub repo should remain main source of truth, corresponding task: https://phabricator.wikimedia.org/T185282 "
Which means to me a mirror as they want GitHub to remain the source of truth for the repo.
As far as I know that comment just means they haven’t done an initial import yet (manually). It will not be a mirror. Please let them handle it themselves.
If development is going to happen on Github I would call Gerrit a mirror yes. I don't see the problem
Imported history from Github to Gerrit. Spoke with @Volker_E about the deployment process:
Sounds good. @demon It's not a mirror, in so far that the updating is explicitly not automatic. We are not configuring Gerrit or GitHub to automatically mirror from one to the other. I suppose one could label the end-result of manually updating a repo a "mirror", that's fine.