[MediaWiki-commits] [Gerrit] operations/puppet[production]: role: move mediawiki::install to autoloader layout
Dzahn has submitted this change and it was merged. Change subject: role: move mediawiki::install to autoloader layout .. role: move mediawiki::install to autoloader layout Bug: T93645 Change-Id: Id2c0f5212add1b6e80cc83ecedbef9c17db165c3 --- R modules/role/manifests/deprecated/mediawiki/install.pp 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Paladox: Looks good to me, but someone else must approve Dzahn: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/role/manifests/deprecated/mediawiki.pp b/modules/role/manifests/deprecated/mediawiki/install.pp similarity index 100% rename from modules/role/manifests/deprecated/mediawiki.pp rename to modules/role/manifests/deprecated/mediawiki/install.pp -- To view, visit https://gerrit.wikimedia.org/r/308322 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id2c0f5212add1b6e80cc83ecedbef9c17db165c3 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: HasharGerrit-Reviewer: Dzahn Gerrit-Reviewer: Giuseppe Lavagetto Gerrit-Reviewer: Hashar Gerrit-Reviewer: Paladox Gerrit-Reviewer: Yuvipanda Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] operations/puppet[production]: role: move mediawiki::install to autoloader layout
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/308322 Change subject: role: move mediawiki::install to autoloader layout .. role: move mediawiki::install to autoloader layout Bug: T93645 Change-Id: Id2c0f5212add1b6e80cc83ecedbef9c17db165c3 --- R modules/role/manifests/deprecated/mediawiki/install.pp 1 file changed, 0 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/22/308322/1 diff --git a/modules/role/manifests/deprecated/mediawiki.pp b/modules/role/manifests/deprecated/mediawiki/install.pp similarity index 100% rename from modules/role/manifests/deprecated/mediawiki.pp rename to modules/role/manifests/deprecated/mediawiki/install.pp -- To view, visit https://gerrit.wikimedia.org/r/308322 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id2c0f5212add1b6e80cc83ecedbef9c17db165c3 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Hashar___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits