jenkins-bot has submitted this change and it was merged.
Change subject: make-release: git-root-ext not updated when git-root is set
......................................................................
make-release: git-root-ext not updated when git-root is set
Change-Id: If7344ad521a2b205357c59d927a72956b61daece
---
M make-release/make-release.py
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-release/make-release.py b/make-release/make-release.py
index 876d16a..e8b2779 100755
--- a/make-release/make-release.py
+++ b/make-release/make-release.py
@@ -153,7 +153,7 @@
)
parser.add_argument(
'--git-root-ext', dest='gitrootext',
- default='ssh://gerrit.wikimedia.org:29418/mediawiki',
+ default=None,
help='base git URL to fetch extensions from (defaults to git-root)'
)
parser.add_argument(
--
To view, visit https://gerrit.wikimedia.org/r/89206
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If7344ad521a2b205357c59d927a72956b61daece
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
