Page MenuHomePhabricator

Archive WikiEduDashboard extension
Closed, ResolvedPublic

Description

Per discussion on T186670, archive teh repo!

  • Archive documentation on mediawiki.org. (none apparently)
  • Remove from mediawiki/extensions.
  • Remove tests in integration/config.
  • Remove from translatewiki.
  • Remove manifest/other references from mediawiki/vagrant if they exist.
  • Empty repository and add a OBSOLETE file.
  • Archive Phabricator project for associated extension/skin.
  • Edit Phabricator project description for associated extension/skin with a link to this ticket.
  • Archive the extension's diffusion repository.
  • Mark the repository read-only in Gerrit.
  • Delete the GitHub mirror.

Event Timeline

MarcoAurelio triaged this task as Medium priority.
MarcoAurelio updated the task description. (Show Details)
MarcoAurelio added a project: Projects-Cleanup.

No, because that one isn't a MW extension :)

https://github.com/wikimedia/mediawiki-extensions-WikiEduDashboard shouldn't have been named as such I guess. Therefore there's no zuul/translatewiki etc. stuff as stated in the checkboxes above?

I'm not clear about what purpose the gerrit projects were supposed to serve (although I might have requested them at one point, and forgot the reason). But github is the main location for the dashbaord codebase, and translatewiki pushes updates directly to there. The project is active on Phabricator, though, as Education-Program-Dashboard.

MarcoAurelio removed a project: User-MarcoAurelio.

Okay so better that someone else handles this.

hashar claimed this task.
hashar subscribed.

Apparently the MediaWiki extension was being developped directly on GitHub https://github.com/wikimedia/mediawiki-extensions-WikiEduDashboard . Despite the description showing it as being a Gerrit mirror, there is no repository matching in Gerrit.

Eventually the MediaWiki extension is now under the Wiki Education Foundation at https://github.com/WikiEducationFoundation/WikiEduDashboard . I have confirmed that repository has the same commits that mediawiki-extensions-WikiEduDashboard

I thus deleted https://github.com/wikimedia/mediawiki-extensions-WikiEduDashboard