Page MenuHomePhabricator

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

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

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

Paladox closed this task as Resolved.May 28 2019, 12:43 PM
Paladox claimed this task.

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