- Create Gerrit repo.
- Import repo from GitHub to Gerit.
- Create Phabricator project for issue tracking.
- Create Jenkins job for Fresh.
- Update docs.
Description
Details
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Resolved | Krinkle | T250766 Move Fresh to Gerrit (mirror to GitHub) | |||
Resolved | Krinkle | T250808 Decide how to run a test involving docker inside WMF CI |
Event Timeline
Change 591233 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[integration/config@master] Add Jenkins job for fresh.git
Change 591234 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[fresh@master] build: Add .gitreview and minor fix for WMF CI
Change 591233 merged by jenkins-bot:
[integration/config@master] Add Jenkins job for fresh.git
Change 591214 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[fresh@master] docs: Update install command to use gerrit.wikimedia.org
Change 591234 merged by jenkins-bot:
[fresh@master] build: Add .gitreview and minor fix for WMF CI
Change 591324 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] Revert "Add Jenkins job for fresh.git"
Change 591324 merged by jenkins-bot:
[integration/config@master] Revert "Add Jenkins job for fresh.git"
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.
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).
Change 591214 merged by jenkins-bot:
[fresh@master] docs: Update install command to use gerrit.wikimedia.org
Change 595711 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[integration/docroot@master] doc: Add entry for Fresh
Change 595711 merged by jenkins-bot:
[integration/docroot@master] doc: Add entry for Fresh