Page MenuHomePhabricator

Move Fresh to Gerrit (mirror to GitHub)
Closed, ResolvedPublic

Description

  • Create Gerrit repo.
  • Import repo from GitHub to Gerit.
  • Create Phabricator project for issue tracking.
  • Create Jenkins job for Fresh.
  • Update docs.

Event Timeline

Change 591233 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[integration/config@master] Add Jenkins job for fresh.git

https://gerrit.wikimedia.org/r/591233

Change 591234 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[fresh@master] build: Add .gitreview and minor fix for WMF CI

https://gerrit.wikimedia.org/r/591234

Change 591233 merged by jenkins-bot:
[integration/config@master] Add Jenkins job for fresh.git

https://gerrit.wikimedia.org/r/591233

Change 591214 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[fresh@master] docs: Update install command to use gerrit.wikimedia.org

https://gerrit.wikimedia.org/r/591214

Change 591234 merged by jenkins-bot:
[fresh@master] build: Add .gitreview and minor fix for WMF CI

https://gerrit.wikimedia.org/r/591234

Change 591324 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] Revert "Add Jenkins job for fresh.git"

https://gerrit.wikimedia.org/r/591324

Change 591324 merged by jenkins-bot:
[integration/config@master] Revert "Add Jenkins job for fresh.git"

https://gerrit.wikimedia.org/r/591324

hashar triaged this task as Medium priority.Apr 21 2020, 12:17 PM
hashar subscribed.

I have dropped the CI configuration since it ran commands directly on the Jenkins agent:

- shell: TERM=xterm ./src/test

That should instead by run in a container that provides whatever dependencies are required.

Update docs.

https://www.mediawiki.org/wiki/How_to_become_a_MediaWiki_hacker#Docker_development_environment links to https://www.mediawiki.org/wiki/MediaWiki-Docker - in my understanding, Fresh seems to use Docker, so I'm curious which existing pages are supposed to be updated.

Core’s DEVELOPERS.md links to Fresh on GitHub, so that is at least one place.

Update docs.

[…] I'm curious which existing pages are supposed to be updated.

I wasn't actually thinking of mediawiki.org, but Fresh's own documentation for how to install it (the README). That will need to be based on Gerrit/Gitiles and its quirks, instead of GitHub. I've submitted a patch for that already.

Looking at mediawiki.org, after we've finished the migration - there's a few pages with links to the repo that we can update (links here).

Krinkle changed the task status from Open to Stalled.Apr 22 2020, 5:53 PM

Change 591214 merged by jenkins-bot:
[fresh@master] docs: Update install command to use gerrit.wikimedia.org

https://gerrit.wikimedia.org/r/591214

Change 595711 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[integration/docroot@master] doc: Add entry for Fresh

https://gerrit.wikimedia.org/r/595711

Change 595711 merged by jenkins-bot:
[integration/docroot@master] doc: Add entry for Fresh

https://gerrit.wikimedia.org/r/595711