Hashar has uploaded a new change for review.

Change subject: (bug 42628) lint whitespaces using git diff --check
......................................................................

(bug 42628) lint whitespaces using git diff --check

"git diff --check HEAD^" will exit with non zero whenever the diff has
any invalid whitespaces.

This patch creates a macro that could be reused on other repositories.
It is only applied on mediawiki/core linting job for now.

Extensions are fetched in a subdirectory of the job workspace, we thus
can not use a macro since we need the "ext-name" template parameter.

Change-Id: Ib377b732930da687504c3a78cdf921143c5c52d1
---
M macro.yaml
M mediawiki-extensions.yaml
M mediawiki.yaml
3 files changed, 12 insertions(+), 0 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/integration/jenkins-job-builder-config 
refs/changes/03/37803/1
--
To view, visit https://gerrit.wikimedia.org/r/37803
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib377b732930da687504c3a78cdf921143c5c52d1
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to