jenkins-bot has submitted this change and it was merged.
Change subject: Add important hint when script exits.
......................................................................
Add important hint when script exits.
Change-Id: I043b4677ce6bc66c6b44b4ec73d49df7e7e0e3e1
---
M scripts/prepare-release.py
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
BearND: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/prepare-release.py b/scripts/prepare-release.py
index d8e68e1..f73b30c 100644
--- a/scripts/prepare-release.py
+++ b/scripts/prepare-release.py
@@ -130,7 +130,8 @@
release_name = get_release_name(target)
print('pushing branch ' + release_name)
sh.git.push('gerrit', 'HEAD:refs/heads/releases/%s' % release_name)
- sh.git.push('gerrit', 'HEAD:refs/for/releases/%s' % release_name)
+ # don't need to do this?
+ # sh.git.push('gerrit', 'HEAD:refs/for/releases/%s' % release_name)
tag_name = get_git_tag_name(target)
print('pushing tag ' + tag_name)
@@ -346,7 +347,8 @@
elif args.bump:
bump(target, channel, package, uprev)
print('BUMP NOTICE!')
- print('BUMP NOTICE! Run git review with bumped version and +2 if
appropriate')
+ print('BUMP NOTICE! Run git review with bumped version and +2 if
appropriate,')
+ print('BUMP NOTICE! Then re-run the script with --bump --push.')
print('BUMP NOTICE!')
else:
make_release(target, channel, package, uprev)
--
To view, visit https://gerrit.wikimedia.org/r/153968
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I043b4677ce6bc66c6b44b4ec73d49df7e7e0e3e1
Gerrit-PatchSet: 2
Gerrit-Project: apps/android/wikipedia
Gerrit-Branch: master
Gerrit-Owner: Dbrant <[email protected]>
Gerrit-Reviewer: BearND <[email protected]>
Gerrit-Reviewer: Brion VIBBER <[email protected]>
Gerrit-Reviewer: Yuvipanda <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
