[MediaWiki-commits] [Gerrit] mediawiki...ReadingLists[master]: Add some things to .gitignore
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/392747 ) Change subject: Add some things to .gitignore .. Add some things to .gitignore Change-Id: Ic5bc446be73c4c0e8393e8c3c9f0f45e957e16b9 --- M .gitignore 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: jenkins-bot: Verified Mholloway: Looks good to me, approved diff --git a/.gitignore b/.gitignore index 59a2a36..bae1b3c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,8 @@ +.ackrc .*.swp *~ /.project +/.coverage /composer.lock /vendor /node_modules -- To view, visit https://gerrit.wikimedia.org/r/392747 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic5bc446be73c4c0e8393e8c3c9f0f45e957e16b9 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/ReadingLists Gerrit-Branch: master Gerrit-Owner: Gergő TiszaGerrit-Reviewer: Mholloway Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...ReadingLists[master]: Add some things to .gitignore
Gergő Tisza has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/392747 ) Change subject: Add some things to .gitignore .. Add some things to .gitignore Change-Id: Ic5bc446be73c4c0e8393e8c3c9f0f45e957e16b9 --- M .gitignore 1 file changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ReadingLists refs/changes/47/392747/1 diff --git a/.gitignore b/.gitignore index 59a2a36..bae1b3c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,8 @@ +.ackrc .*.swp *~ /.project +/.coverage /composer.lock /vendor /node_modules -- To view, visit https://gerrit.wikimedia.org/r/392747 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic5bc446be73c4c0e8393e8c3c9f0f45e957e16b9 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ReadingLists Gerrit-Branch: master Gerrit-Owner: Gergő Tisza___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits