Page MenuHomePhabricator

Setup mirror for gerrit to clone from GitHub for repo design/style-guide
Closed, ResolvedPublic

Description

Event Timeline

Krinkle added a subscriber: Krinkle.
This comment was removed by Krinkle.

@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.

Krinkle changed the task status from Open to Stalled.Mar 11 2018, 3:49 AM

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

demon claimed this task.

Imported history from Github to Gerrit. Spoke with @Volker_E about the deployment process:

  1. Review happens in Github, then the desired commit is pushed to master on Gerrit.
    1. Remote for Gerrit: git remote add gerrit https://gerrit.wikimedia.org/r/design/style-guide
    2. Push desired master state to Gerrit: git push gerrit master
  2. Puppet deploys master automatically: ensure => 'latest'

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.