Change Details

To start T74907 off slowly, we should move the Wikidata.org and WikimediaBadges extensions to gerrit, and deploy them through the normal train process. * https://github.com/wmde/WikimediaBadges * https://github.com/wmde/Wikidata.org Neither extension is frequently updated and are rather stable, so this shouldn't interfere with anyone's workflow majorly. Steps: 1. Import repositories to gerrit 2. Convert Wikidata build procedure to use the gerrit repositories instead of github 3. Deploy extensions through normal train process instead of Wikidata build (will need some coordination)

To start T74907 off slowly, we should move the Wikidata.org and WikimediaBadges extensions to gerrit. * https://github.com/wmde/WikimediaBadges * https://github.com/wmde/Wikidata.org Neither extension is frequently updated and are rather stable, so this shouldn't interfere with anyone's workflow majorly. Steps: 1. Import repositories to gerrit 2. Move old github repo to github.com/mediawiki and rename it to what gerrit replicates to github so that future changes get replicated and old issues and pull requests get retained. (Name like https://github.com/wikimedia/mediawiki-extensions-WikimediaBadges .) 2. Convert Wikidata build procedure to use the gerrit repositories instead of github At some time after this ticket is solved we hopefully can deploy these extensions through a normal train process instead of having our own Wikidata build.

To start T74907 off slowly, we should move the Wikidata.org and WikimediaBadges extensions to gerrit, and deploy them through the normal train process. * https://github.com/wmde/WikimediaBadges * https://github.com/wmde/Wikidata.org Neither extension is frequently updated and are rather stable, so this shouldn't interfere with anyone's workflow majorly. Steps: 1. Import repositories to gerrit 2. Convert Wikidata build procedure to use the gerrit repositories instead of githubMove old github repo to github.com/mediawiki and rename it to what gerrit replicates to github so that future changes get replicated and old issues and pull requests get retained. (Name like https://github.com/wikimedia/mediawiki-extensions-WikimediaBadges .) 32. Deploy extensions throughConvert Wikidata build procedure to use the gerrit repositories instead of github At some time after this ticket is solved we hopefully can deploy these extensions through a normal train process instead of Wikidata build (will need some coordination)having our own Wikidata build.