Page MenuHomePhabricator

Re-purposing MediaWiki-Docker and friends
Closed, ResolvedPublic

Description

We're going to need to tweak what our Docker-related projects are for; it's not acceptable that the unofficial-but-misleadingly-labelled-"official" Docker project is currently squatting in MediaWiki-Docker.

As MediaWiki-Vagrant is for the official Vagrant-based tool; so should MediaWiki-Docker should be for the official Docker-based development tool, coming very soon. -Containers should probably be for the mythical official-MediaWiki-releases-in-pods model that has been talked about for years, but that doesn't need to change soon.

Not sure if existing tasks (about the unofficial image) should be on a different tag or just in a special column?

Thoughts?

Event Timeline

Perhaps move the existing tasks to a new tag like Docker-Hub-MediaWiki since it's hosted at https://hub.docker.com/_/mediawiki ?

That'd be fine by me if that label works for you; it's a good name for it.

Jdforrester-WMF added subscribers: brennen, jeena, kostajh and 2 others.

Cookie-licking, but I'll leave this open for a few days in case others want to comment (CC @jeena @brennen @kostajh @Legoktm @Addshore).

Perhaps move the existing tasks to a new tag like Docker-Hub-MediaWiki since it's hosted at https://hub.docker.com/_/mediawiki ?

Sounds good to me

That'd be fine by me if that label works for you; it's a good name for it.

Makes sense to me, we already use a similar name for the documentation page: https://www.mediawiki.org/wiki/Docker/Hub

Jdforrester-WMF raised the priority of this task from Medium to High.Feb 19 2020, 6:33 PM

Done. MediaWiki-Docker is now the tag for the new work. Docker-Hub-MediaWiki is renamed for the DockerHub image. I've left MediaWiki-Containers for now as there's no immediate demand for its replacement. I've edited the descriptions to cross-link, so hopefully people find the right one.

I think it's quite confusing that the Docker-Hub-MediaWiki repository is at https://github.com/wikimedia/mediawiki-docker. This suggest that it is related to MediaWiki-Docker.

I think it's quite confusing that the Docker-Hub-MediaWiki repository is at https://github.com/wikimedia/mediawiki-docker. This suggest that it is related to MediaWiki-Docker.

Yeah, they should probably rename their repo, agreed.