Page MenuHomePhabricator

MediaWiki pipeline config: Correctly tag development images with dev
Closed, ResolvedPublic

Description

Renaming the stage that publishes the dev image to "publish" turns out to have been a bit confusing, and we need a tag of "dev" on the latest published image for use by helm charts etc.

Details

Related Gerrit Patches:

Event Timeline

brennen created this task.Oct 1 2019, 9:17 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 1 2019, 9:17 PM

Change 540214 had a related patch set uploaded (by Brennen Bearnes; owner: Brennen Bearnes):
[mediawiki/core@master] pipeline: rename publish stage to dev; add dev tag

https://gerrit.wikimedia.org/r/540214

brennen triaged this task as Medium priority.Oct 1 2019, 10:09 PM

Change 540214 merged by jenkins-bot:
[mediawiki/core@master] pipeline: rename publish stage to dev; add dev tag

https://gerrit.wikimedia.org/r/540214

brennen closed this task as Resolved.Oct 2 2019, 8:07 PM

Finally:

14:05:54 brennen@inertia:~/code/wmf/mediawiki/core (540214-publish-to-dev-1 m0/u0) ☙ docker pull docker-registry.wikimedia.org/wikimedia/mediawiki-core:dev                      
dev: Pulling from wikimedia/mediawiki-core
5c86276767f3: Already exists 
0445fd56950a: Pull complete 
4edf12b6f5f0: Pull complete 
39961bb3a06a: Pull complete 
ff1bd3a20a43: Pull complete 
c8d5cc47c664: Pull complete 
f94c56cc4983: Pull complete 
85fda2ab69ff: Pull complete 
83f2db0c0f14: Pull complete 
3e206fad26b2: Pull complete 
739d2f3bb1ec: Pull complete 
4c24a7cd82b0: Pull complete 
006500bbde5a: Pull complete 
332ecb8ca00f: Pull complete 
045acbcfc608: Pull complete 
061f4db22d8d: Pull complete 
7df152ecb998: Pull complete 
aaee8cf224ae: Pull complete 
64dd4ce38455: Pull complete 
7ee82f4825b9: Pull complete 
3cd5842b704b: Pull complete 
27ca13914671: Pull complete 
39017c08604a: Pull complete 
Digest: sha256:5463c6232eee78a6300c40daea12b72e71362d9289e2e05f5d4f1097abec0b01
Status: Downloaded newer image for docker-registry.wikimedia.org/wikimedia/mediawiki-core:dev
docker-registry.wikimedia.org/wikimedia/mediawiki-core:dev