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.
Description
Description
Details
Details
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| pipeline: rename publish stage to dev; add dev tag | mediawiki/core | master | +3 -2 |
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | brennen | T234391 Point deployment-charts/mediawiki-dev at latest dev image published by pipeline | |||
| Resolved | brennen | T234379 MediaWiki pipeline config: Correctly tag development images with dev |
Event Timeline
Comment Actions
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
Comment Actions
Change 540214 merged by jenkins-bot:
[mediawiki/core@master] pipeline: rename publish stage to dev; add dev tag
Comment Actions
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