Support for using a name different from the git repo name during clone

[akesandgren]

I have a situation where the sources git_config need to create the clone in a name != the repo name. The main code uses a name that is different the the actual repo name.

I've made a temporary change locally to add this, the question is what to call that parameter?

My sources look like this

sources = [
    '%(version)s.tar.gz',
    {   
        'filename': 'avogenerators-20220126.tar.gz',
        'git_config': {
            'url': 'https://github.com/OpenChemistry',
            'repo_name': 'avogenerators',
            'commit': '582879c62b78b7c8a4e34c65a6027a4efa627b2f',
            'clone_name': 'avogadrogenerators',
        },
    },
]

The new one is of course "clone_name". Should we call it "clone_as" or something else?

[migueldiascosta]

clone_into may be more consistent with git's terminology and documentation (?)