Clean up ORES and related gerrit repos
Open, MediumPublic
Actions

Assigned To

None

Authored By

	Halfak
	Nov 20 2019, 2:49 PM

Project Tags

Referenced Files

None

Subscribers

Description

scoring/ores/deploy exists but does not contain any history

Instead, we still have mediawiki/services/ores/deploy. We should move the repo over with git push --mirror

You may need to grant "Forge Author Identity" or "Forge Committer Identity" on that repo.

		Status	Subtype	Assigned	Task
		Declined		None	T264651 Migrate ORES/Revscoring/etc. repos to Gitlab or Gerrit
		Open		None	T238746 Clean up ORES and related gerrit repos

Halfak triaged this task as Medium priority.Nov 20 2019, 10:04 PM

All the old repos should be archived once we have this cleaned up.