jenkins-bot has submitted this change and it was merged.
Change subject: Tools: Ignore WIP patches in `make gerrit` command
......................................................................
Tools: Ignore WIP patches in `make gerrit` command
Change-Id: I9312670022cea209aa5af77ff9e08a4cdebb5b1e
---
M Makefile
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Kaldari: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Makefile b/Makefile
index d8c90f4..e220fdd 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@
@dev-scripts/remotes/gerrit.py --project
'mediawiki/extensions/MobileFrontend' --byuser ${GERRIT_USERNAME} --ltscore 0
gerrit: remotes
- @dev-scripts/remotes/gerrit.py --project
'mediawiki/extensions/MobileFrontend' --gtscore -1
+ @dev-scripts/remotes/gerrit.py --project
'mediawiki/extensions/MobileFrontend' --gtscore -1 --ignore 'WIP'
kss: kssnodecheck
mkdir -p docs
--
To view, visit https://gerrit.wikimedia.org/r/165758
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9312670022cea209aa5af77ff9e08a4cdebb5b1e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: JGonera <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
