Hashar has uploaded a new change for review.
https://gerrit.wikimedia.org/r/86269
Change subject: let us point extension root to some other place
......................................................................
let us point extension root to some other place
When using --git-root to a local path on your laptop, the script might
not be able to find extensions when they have been fetched out in a
different path. The optional --git-root-ext let you specify where the
extensions should be fetched from.
Example:
./make-release.py --git-root /srv/ --git-root-ext ~/projects/mw
With core in /srv/core and extensions in ~/project/mw/extensions.
Change-Id: I4101daae85e1283aa07bf18761b37a1a0b5014ab
---
M make-release/make-release.py
1 file changed, 10 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/tools/release
refs/changes/69/86269/1
diff --git a/make-release/make-release.py b/make-release/make-release.py
index ad3a363..73550d2 100755
--- a/make-release/make-release.py
+++ b/make-release/make-release.py
@@ -101,6 +101,11 @@
help='base git URL to fetch projects from (defaults to Gerrit)'
)
parser.add_argument(
+ '--git-root-ext', dest='gitrootext',
+ default='ssh://gerrit.wikimedia.org:29418/mediawiki',
+ 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)'
@@ -347,7 +352,11 @@
print "Done"
def exportExtension(self, branch, extension, dir):
- self.getGit(self.options.gitroot + '/extensions/' + extension,
+ gitroot = self.options.gitroot
+ if self.options.gitrootext:
+ gitroot = self.options.gitrootext
+
+ self.getGit(gitroot + '/extensions/' + extension,
dir + '/extensions/' + extension, extension)
print "Done"
--
To view, visit https://gerrit.wikimedia.org/r/86269
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I4101daae85e1283aa07bf18761b37a1a0b5014ab
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
