This name was chosen randomly and fairly by the Wu Tang Clan name generator.
Description
Details
Event Timeline
I've created https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/DiscussionTools for you; with the corresponding Diffusion mirror rEDTO extension-DiscussionTools. I'll soon create a GitHub mirror as well <rant> too many mirrors </rant>.
Change 542166 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[integration/config@master] layout: Add CI configuration for new DiscusionTools repo
Change 542166 merged by jenkins-bot:
[integration/config@master] layout: Add CI configuration for new DiscussionTools repo
Mentioned in SAL (#wikimedia-releng) [2019-10-10T16:15:35Z] <James_F> Zuul: Add CI configuration for new DiscussionTools repo T234481
Change 542167 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[integration/config@master] layout: [DiscussionTools] Add phan and phan-seccheck too
Change 542167 merged by jenkins-bot:
[integration/config@master] layout: [DiscussionTools] Add phan and phan-seccheck too
Mentioned in SAL (#wikimedia-releng) [2019-10-10T16:22:38Z] <James_F> Zuul: Also enable phan and phan-seccheck on DiscussionTools T234481