diff options
author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-26 15:19:24 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-26 15:19:24 (GMT) |
commit | fbfc4661790e319c4a56b2c5e1f876bf0c4c71f4 (patch) | |
tree | 63cdf3f6b6982a7ee5e9319d9782a3c91f2e96d4 /release | |
parent | e02da89bf85459ce16db902e8134e783a685beb6 (diff) |
Restore things I had commented out for testing.
Diffstat (limited to 'release')
-rwxr-xr-x | release | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -73,8 +73,6 @@ class ReleaseReport(object): if match: tickets.append(match.group(1)) - tickets = tickets[:1] - for n in tickets: f = urllib.urlopen('http://dev.laptop.org/ticket/%s?format=csv' % n) @@ -272,19 +270,19 @@ def main(): release.bump_version(options.version) print 'Build source tarball...' - #if not release.build_tarball(): - # print 'Failed to build source tarball.' - # release.undo_version() - # sys.exit(1) + if not release.build_tarball(): + print 'Failed to build source tarball.' + release.undo_version() + sys.exit(1) print 'Tag the release in git...' release.tag() print 'Push the changes to remote git...' - #release.push() + release.push() print 'Upload the source tarball...' - #release.upload() + release.upload() print 'Announce the release...' release.announce() |