code: def git_url_ssh_to_https(url):
      
      path = url.split('github.com', 1)[1][1:].strip()
      new = 'https://{GITHUB_TOKEN}@github.com/%s' % path
      print('rewriting git url to: %s' % new)
      return new.format(GITHUB_TOKEN=os.getenv('GITHUB_TOKEN'))
docs: Convert a git url
  
      url will look like
      https://github.com/ARMmbed/mbed-cloud-sdk-python.git
      or
      git@github.com:ARMmbed/mbed-cloud-sdk-python.git
      we want:
      https://${GITHUB_TOKEN}@github.com/ARMmbed/mbed-cloud-sdk-python-private.git