jenkins-bot has submitted this change and it was merged. Change subject: Drop .coveralls.yml ......................................................................
Drop .coveralls.yml I think this service is not used any more and this file is an unused, possibly outdated (look how it references the "lib" directory and nothing else) fragment now. I may be wrong. If you think I am, please show me the place where Coveralls is used and abandone this patch. Change-Id: I3e1a1428b7f4b138ae9f5371215917c39bc6b15e --- D .coveralls.yml 1 file changed, 0 insertions(+), 4 deletions(-) Approvals: Adrian Lang: Looks good to me, but someone else must approve JanZerebecki: Looks good to me, approved jenkins-bot: Verified diff --git a/.coveralls.yml b/.coveralls.yml deleted file mode 100644 index 8892d62..0000000 --- a/.coveralls.yml +++ /dev/null @@ -1,4 +0,0 @@ -# for php-coveralls -service_name: travis-ci -src_dir: lib -coverage_clover: build/logs/clover.xml \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/201145 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3e1a1428b7f4b138ae9f5371215917c39bc6b15e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de> Gerrit-Reviewer: Adrian Lang <adrian.he...@wikimedia.de> Gerrit-Reviewer: JanZerebecki <jan.wikime...@zerebecki.de> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
