| Index: tools/promote.py
|
| diff --git a/tools/promote.py b/tools/promote.py
|
| index ea420b416b65008eaff29aeb424c9299db65e17b..81ab4025479916d880faf7bc8758481c16994117 100644
|
| --- a/tools/promote.py
|
| +++ b/tools/promote.py
|
| @@ -61,12 +61,6 @@ def main():
|
| if options.revision is None:
|
| die('You must specify a --revision to specify which revision to promote')
|
|
|
| - # Make sure revision is a valid integer
|
| - try:
|
| - _ = int(options.revision)
|
| - except:
|
| - die('You must supply a valid integer argument to --revision to promote')
|
| -
|
| # Make sure options.channel is a valid
|
| if not options.channel:
|
| die('Specify --channel=be/dev/stable')
|
|
|