Maniphest T224463

Delete "extensions/3D" repository?
Closed, ResolvedPublic0 Estimated Story Points
Actions

Assigned To

Authored By

	Aklapper
	May 28 2019, 10:41 AM

Tags

Referenced Files

None

Subscribers

Description

I'm wondering what https://gerrit.wikimedia.org/g/extensions/3D was created for. Is that a mistake and should have been existing https://gerrit.wikimedia.org/g/mediawiki/extensions/3D instead?

Event Timeline

Aklapper created this task.May 28 2019, 10:41 AM

Mentioned in SAL (#wikimedia-releng) [2019-05-28T12:43:49Z] <paladox> delete extensions/3D repo in gerrit - T224463

That is a mistake. I've deleted it now.