[MediaWiki-commits] [Gerrit] mediawiki...minus-x[master]: Support ignoring entire directories

2018-01-08 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/402661 ) Change subject: Support ignoring entire directories .. Support ignoring entire directories Change-Id: Iab9ba6a8a5a48cd660e5fe43

[MediaWiki-commits] [Gerrit] mediawiki...minus-x[master]: Support ignoring entire directories

2018-01-07 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/402661 ) Change subject: Support ignoring entire directories .. Support ignoring entire directories Change-Id: Iab9ba6a8a5a48cd660e5fe432b7af66d301e