jenkins-bot has submitted this change and it was merged.
Change subject: make-release: update local repositories
......................................................................
make-release: update local repositories
Whenever using --git-root to point to a local repository, we might be
using an out of date local clone. Hence, whenever the remote repository
is a local directory, call in there 'git remote update' to fetch from
Gerrit the branches/tags/objects.
Change-Id: Ibb9e7804dcf5162a293f0cdb9057236d0a7aa8ac
---
M make-release/make-release.py
1 file changed, 8 insertions(+), 0 deletions(-)
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 237e28a..05a43a8 100755
--- a/make-release/make-release.py
+++ b/make-release/make-release.py
@@ -326,6 +326,14 @@
print 'Please type "y" for yes or "n" for no'
def getGit(self, repo, dir, label):
+ if os.path.exists(repo):
+ print "Updating local %s" % repo
+ proc = subprocess.Popen(['git', 'remote', 'update'],
+ cwd=repo)
+ if proc.wait() != 0:
+ print "Could not update local repository %s" % repo
+ sys.exit(1)
+
if (os.path.exists(dir)):
print "Updating " + label + " in " + dir + "..."
proc = subprocess.Popen(
--
To view, visit https://gerrit.wikimedia.org/r/95825
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibb9e7804dcf5162a293f0cdb9057236d0a7aa8ac
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
