Rush has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/369924 )
Change subject: Add hiwikiversity to labsrecursor ...................................................................... Add hiwikiversity to labsrecursor Bug: T168765 Change-Id: Iad16ad1d4327c672bee480bccef822c13808703e --- M modules/role/manifests/labs/dnsrecursor.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Rush: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/role/manifests/labs/dnsrecursor.pp b/modules/role/manifests/labs/dnsrecursor.pp index 441fab2..72c520e 100644 --- a/modules/role/manifests/labs/dnsrecursor.pp +++ b/modules/role/manifests/labs/dnsrecursor.pp @@ -163,7 +163,7 @@ 'hawiktionary', 'hawwiki', 'hewiki', 'hewikibooks', 'hewikinews', 'hewikiquote', 'hewikisource', 'hewikivoyage', 'hewiktionary', 'hifwiki', 'hiwiki', 'hiwikibooks', - 'hiwikiquote', 'hiwiktionary', 'howiki', 'hrwiki', + 'hiwikiquote', 'hiwiktionary', 'hiwikiversity', 'howiki', 'hrwiki', 'hrwikibooks', 'hrwikiquote', 'hrwikisource', 'hrwiktionary', 'hsbwiki', 'hsbwiktionary', 'htwiki', 'htwikisource', 'huwiki', 'huwikibooks', 'huwikinews', 'huwikiquote', -- To view, visit https://gerrit.wikimedia.org/r/369924 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iad16ad1d4327c672bee480bccef822c13808703e Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Madhuvishy <mviswanat...@wikimedia.org> Gerrit-Reviewer: Rush <r...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits