Page MenuHomePhabricator

Rename JADE->Jade in continuous integration
Closed, ResolvedPublic

Description

When the extension is renamed, we'll want our CI pipelines and triggers to follow.

Details

Event Timeline

Change 480285 had a related patch set uploaded (by Awight; owner: Awight):
[integration/config@master] [DNM] Rename JADE to Jade

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

Halfak triaged this task as Medium priority.Feb 26 2019, 10:29 PM
Halfak moved this task from Parked to Review on the Machine-Learning-Team (Active Tasks) board.

There's nothing to review here. It's blocked on T212181

There's nothing to review here. It's blocked on T212181

This task is T212181.

There's nothing to review here. It's blocked on T212181

This task is T212181.

I'm so facepalm right now. Sorry. I meant moving the repositories in gerrit which is now T221053 I guess.

Harej raised the priority of this task from Medium to High.Apr 19 2019, 2:07 AM

Change 480285 had a related patch set uploaded (by Hashar; owner: Adam Wight):
[integration/config@master] Rename mediawiki extension JADE to Jade

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

Change 480285 merged by jenkins-bot:
[integration/config@master] Rename mediawiki extension JADE to Jade

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