fix all instances of "the the"

tools/get_archive.py

 #!/usr/bin/env python
 #
 # Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 # Gets or updates a content shell (a nearly headless build of chrome). This is
 # used for running browser tests of client applications.
 
 import json
@@ skipping 114 matching lines @@
     else:
       latest = (permanent_prefix % { 'osname' : osname, 'num1' : the_revision_num,
           'num2' : the_revision_num, 'bot' : bot })
       foundURL = False
       while not foundURL:
         # Test to ensure this URL exists because the dartium-archive builds can
         # have unusual numbering (a range of CL numbers) sometimes.
         result, out = Gsutil('ls', permanent_prefix % {'osname' : osname,
             'num1': the_revision_num, 'num2': '*', 'bot': bot })
         if result == 0:
-          # First try to find one with the the second number the same as the
+          # First try to find one with the second number the same as the
           # requested number.
           latest = out.split()[0]
           # Now test that the permissions are correct so you can actually
           # download it.
           temp_dir = tempfile.mkdtemp()
           temp_zip = os.path.join(temp_dir, 'foo.zip')
           returncode, out = Gsutil('cp', latest, 'file://' + temp_zip)
           if returncode == 0:
             foundURL = True
           else:
@@ skipping 185 matching lines @@
     GetDartiumRevision('content_shell', bot, DRT_DIR, DRT_VERSION,
                          DRT_LATEST_PATTERN, DRT_PERMANENT_PATTERN,
                          args.revision)
     CopyDrtFont(DRT_DIR)
   else:
     print ('Please specify the target you wish to download from Google Storage '
         '("drt", "dartium", "chromedriver", or "sdk")')
 
 if __name__ == '__main__':
   sys.exit(main())