Giuseppe Lavagetto has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/394042 )
Change subject: environment/future: remove redundant settings ...................................................................... environment/future: remove redundant settings The settings that were part of the "future" environment are now part of the main configuration, so remove them from there. Change-Id: Id67e9385690f951e1e1e2f1cdfcdbed75775a320 --- M environments/future/environment.conf 1 file changed, 1 insertion(+), 5 deletions(-) Approvals: Giuseppe Lavagetto: Looks good to me, approved jenkins-bot: Verified diff --git a/environments/future/environment.conf b/environments/future/environment.conf index 5909307..abde2a1 100644 --- a/environments/future/environment.conf +++ b/environments/future/environment.conf @@ -1,5 +1 @@ -# Enable the future parser -parser = future - -# Use the main code directory as a base. -manifest=$confdir/manifests +# This environment was used for enabling the future parser everywhere, and should be removed soon, or repurposed. -- To view, visit https://gerrit.wikimedia.org/r/394042 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id67e9385690f951e1e1e2f1cdfcdbed75775a320 Gerrit-PatchSet: 3 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits