Jdlrobson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/165758
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend
refs/changes/58/165758/1
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: newchange
Gerrit-Change-Id: I9312670022cea209aa5af77ff9e08a4cdebb5b1e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
