Filippo Giunchedi has submitted this change and it was merged.
Change subject: contint: drop integration/phpcs
......................................................................
contint: drop integration/phpcs
Repositories now provision PHPCodeSniffer using composer. PHPUnit is
still used by operation/mediawiki-config though.
The git mirrors are no more needed.
Change-Id: I065fd4bc7736912e51f3c7ce13e59a423ad0f8fb
---
M modules/contint/manifests/slave_scripts.pp
1 file changed, 3 insertions(+), 4 deletions(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
diff --git a/modules/contint/manifests/slave_scripts.pp
b/modules/contint/manifests/slave_scripts.pp
index 671ca66..0ce30f2 100644
--- a/modules/contint/manifests/slave_scripts.pp
+++ b/modules/contint/manifests/slave_scripts.pp
@@ -39,11 +39,10 @@
target => '/srv/deployment/integration/composer/vendor/bin/composer',
}
+ # We have migrated jobs to use composer instead
git::clone { 'jenkins CI phpcs':
- ensure => 'latest',
- directory => '/srv/deployment/integration/phpcs',
- origin =>
'https://gerrit.wikimedia.org/r/p/integration/phpcs.git',
- recurse_submodules => true,
+ ensure => 'absent',
+ directory => '/srv/deployment/integration/phpcs',
}
git::clone { 'jenkins CI phpunit':
ensure => 'latest',
--
To view, visit https://gerrit.wikimedia.org/r/285226
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I065fd4bc7736912e51f3c7ce13e59a423ad0f8fb
Gerrit-PatchSet: 5
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
