jenkins-bot has submitted this change and it was merged.
Change subject: make-release: Remove --gitrootext option, doesn't work
......................................................................
make-release: Remove --gitrootext option, doesn't work
Change-Id: Iaa74858762c86b4a5516e22fd86da6136bb51f03
---
M make-release/make-release.py
1 file changed, 1 insertion(+), 10 deletions(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-release/make-release.py b/make-release/make-release.py
index 89a2586..d76dc0a 100755
--- a/make-release/make-release.py
+++ b/make-release/make-release.py
@@ -73,11 +73,6 @@
help='base git URL to fetch projects from (defaults to Gerrit)'
)
parser.add_argument(
- '--git-root-ext', dest='gitrootext',
- default=None,
- help='base git URL to fetch extensions from (defaults to git-root)'
- )
- parser.add_argument(
'--build', dest='buildroot',
default=os.getcwd(),
help='where the build should happen (defaults to pwd)'
@@ -456,11 +451,7 @@
logging.info('Done with exporting core')
def exportExtension(self, branch, extension, dir, patches=[]):
- gitroot = self.options.gitroot
- if self.options.gitrootext:
- gitroot = self.options.gitrootext
-
- self.getGit(gitroot + '/' + extension,
+ self.getGit(self.options.gitroot + '/' + extension,
dir + '/' + extension, extension, branch)
for patch in patches:
self.applyPatch(patch, dir + '/' + extension)
--
To view, visit https://gerrit.wikimedia.org/r/322028
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaa74858762c86b4a5516e22fd86da6136bb51f03
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
