jenkins-bot has submitted this change and it was merged.
Change subject: Make 'lint' the default rake task
......................................................................
Make 'lint' the default rake task
Change-Id: I199934eb21dc48881a39a8bdaa2eab7a63f28317
---
M Rakefile
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Rakefile b/Rakefile
index f24a955..86dc587 100644
--- a/Rakefile
+++ b/Rakefile
@@ -8,3 +8,5 @@
PuppetLint.configuration.send('disable_2sp_soft_tabs')
PuppetLint.configuration.send('disable_hard_tabs')
PuppetLint.configuration.ignore_paths = ['puppet/manifests/roles.pp']
+
+task :default => [:lint]
--
To view, visit https://gerrit.wikimedia.org/r/66347
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I199934eb21dc48881a39a8bdaa2eab7a63f28317
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
