https://bugzilla.wikimedia.org/show_bug.cgi?id=73515
Bug ID: 73515
Summary: Delete workspaces of mediawiki-vendor-integration (job
has been deleted)
Product: Wikimedia
Version: wmf-deployment
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Continuous integration
Assignee: wikibugs-l@lists.wikimedia.org
Reporter: has...@free.fr
CC: g...@wikimedia.org, has...@free.fr,
krinklem...@gmail.com, s...@reedyboy.net
Depends on: 72787
Web browser: ---
Mobile Platform: ---
The mediawiki-vendor-integration job has been renamed mediawiki-phpunit (bug
72787). We should delete the related workspaces from all slaves in a few days.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
