Page MenuHomePhabricator
Create Task
Maniphest T212181

Rename JADE->Jade in continuous integration
Closed, ResolvedPublic
Actions

Description

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

Details

ProjectBranchLines +/-Subject
integration/configmaster+5 -1Rename mediawiki extension JADE to Jade
Customize query in gerrit

Related Objects
Search...

Event Timeline

awight created this task.Dec 18 2018, 1:00 AM
awight added a subtask: T212180: Clone gerrit repo mediawiki/extensions/JADE to mediawiki/extensions/Jade.Dec 18 2018, 1:03 AM
gerritbot added a comment.Dec 18 2018, 1:40 AM

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

gerritbot added a project: Patch-For-Review.Dec 18 2018, 1:40 AM
Halfak moved this task from Unorganized to Maintenance/cleanup on the Machine-Learning-Team board.Feb 11 2019, 9:17 PM
Halfak triaged this task as Medium priority.Feb 26 2019, 10:29 PM
Halfak edited projects, added Machine-Learning-Team (Active Tasks); removed Machine-Learning-Team.
Halfak moved this task from Active to Review on the Machine-Learning-Team (Active Tasks) board.
Ladsgroup added a subscriber: Ladsgroup.Mar 4 2019, 5:34 PM

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

awight removed a subscriber: awight.Mar 21 2019, 4:05 PM
mmodell closed subtask T212180: Clone gerrit repo mediawiki/extensions/JADE to mediawiki/extensions/Jade as Resolved.Apr 10 2019, 5:57 PM
Harej added a subscriber: Harej.Apr 16 2019, 12:31 AM
In T212181#4998821, @Ladsgroup wrote:

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

This task is T212181.

Ladsgroup added a comment.Apr 17 2019, 9:58 AM
In T212181#5113562, @Harej wrote:
In T212181#4998821, @Ladsgroup wrote:

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 assigned this task to Ladsgroup.Apr 19 2019, 2:06 AM
Restricted Application added a project: User-Ladsgroup. · View Herald TranscriptApr 19 2019, 2:06 AM
Harej raised the priority of this task from Medium to High.Apr 19 2019, 2:07 AM
gerritbot added a comment.Apr 19 2019, 8:11 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

gerritbot added a comment.Apr 19 2019, 8:14 AM

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

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

hashar closed this task as Resolved.Apr 19 2019, 8:15 AM
Content licensed under Creative Commons Attribution-ShareAlike 3.0 (CC-BY-SA) unless otherwise noted; code licensed under GNU General Public License (GPL) or other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL