Krinkle has submitted this change and it was merged.

Change subject: git macro to fetch mw ext at root of $WORKSPACE
......................................................................


git macro to fetch mw ext at root of $WORKSPACE

Sometime we do not want to fetch the extensions under a subdirectory of
the workspace, for example when doing JavaScript linting. The
git-mwext-in-root macro let us override the git command that comes from
the default and thus fetch the extension at the root of the workspace.

Updated the wmfgrunt --cwd parameter to reflect that. It now use the
WORKSPACE directly.

Change-Id: I3f352a24f217d16a8c978af2caf6f33996603a26
---
M macro.yaml
M mediawiki-extensions.yaml
2 files changed, 20 insertions(+), 2 deletions(-)

Approvals:
  Krinkle: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/44097
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3f352a24f217d16a8c978af2caf6f33996603a26
Gerrit-PatchSet: 3
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to