old_contents: import os
  import hailjwt as hj
  
  GITHUB_CLONE_URL = 'https://github.com/'
  
  with open(os.environ['HAIL_TOKEN_FILE']) as f:
      global BUCKET
  
      userdata = hj.JWTClient.unsafe_decode(f.read())
      BUCKET = userdata["bucket_name"]
  
  AUTHORIZED_USERS = set([
      'danking',
      'cseed',
      'konradjk',
      'jigold',
      'jbloom22',
      'patrick-schultz',
      'lfrancioli',
      'akotlar',
      'tpoterba',
      'chrisvittal',
      'catoverdrive',
      'daniel-goldstein'
  ])
  
new_contents: import os
  import hailjwt as hj
  
  GITHUB_CLONE_URL = 'https://github.com/'
  
  with open(os.environ['HAIL_TOKEN_FILE']) as f:
      global BUCKET
  
      userdata = hj.JWTClient.unsafe_decode(f.read())
      BUCKET = f'gs://{userdata["bucket_name"]}'
  
  AUTHORIZED_USERS = set([
      'danking',
      'cseed',
      'konradjk',
      'jigold',
      'jbloom22',
      'patrick-schultz',
      'lfrancioli',
      'akotlar',
      'tpoterba',
      'chrisvittal',
      'catoverdrive',
      'daniel-goldstein'
  ])
  
subject: fix ci bucket (#6180)