def git_url_ssh_to_https(url):
path = url.split('<STR_LIT>', <NUM_LIT:1>)[<NUM_LIT:1>][<NUM_LIT:1>:].strip()<EOL>new = '<STR_LIT>' % path<EOL>print('<STR_LIT>' % new)<EOL>return new.format(GITHUB_TOKEN=os.getenv('<STR_LIT>'))<EOL>
Convert a git url

    url will look like
    https://github.com/ARMmbed/autoversion.git
    or
    git@github.com:ARMmbed/autoversion.git
    we want:
    https://${GITHUB_TOKEN}@github.com/ARMmbed/autoversion.git