We should move https://github.com/wmde/WikidataBuildResources to gerrit.
this is an essential thing for our deployment process and we should not rely on a 3rd party for this.
If gerrit is down, then we can't deploy anyway but also can do something about fixing it. If github is down, then ....
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | Addshore | T173818 [Epic] Kill the Wikidata build step | |||
| Resolved | Addshore | T181709 Cleanup Phabricator tickets once the build is dead | |||
| Invalid | None | T108946 [Epic] Improve the development infrastructure | |||
| Declined | None | T74907 [Task] move git repositories that are dependencies of wikidata to gerrit | |||
| Resolved | aude | T111173 [Task] Move WikidataBuildResources to gerrit |
requested a gerrit repo for this:
wikidata/build-resources
https://www.mediawiki.org/wiki/Git/New_repositories/Requests
Change 267240 had a related patch set uploaded (by Aude):
Update urls in README from github -> phabricator
Change 267242 had a related patch set uploaded (by Aude):
Update WikidataBuildResources git source (github -> gerrit)
still need to update vagrant to use gerrit for the build resources and need to add to CI config
Change 267864 had a related patch set uploaded (by Aude):
Update WikidataBuildResources to use git repo on gerrit
Change 268352 had a related patch set uploaded (by JanZerebecki):
add repo wikidata/build-resources
Need to enable puppet on wikidata-builder1 again once operation/puppet patch is merged.
Change 267242 merged by Giuseppe Lavagetto:
Update WikidataBuildResources git source (github -> gerrit)
Change 267864 merged by jenkins-bot:
Update WikidataBuildResources to use git repo on gerrit