get_git_sources assumes the name of the repo based on directory name using mirrors #212
Description
When extracting source using the local mirrors, the name of the repo is currently assumed to be the same as the directory into which it is extracted.
This is an issue for the jules-internal mirror - which is extracted into a jules directory - there is currently a hack in github_scripts/get_git_sources.py to rectify this particular problem.
MOCI repo may need to be extracted into more than one directory, since the postproc app and the coupled drivers have traditionally moved at different speeds. Therefore we should be able to get the name of the repo from the source, because these directories naturally can't both have the same name.
The name of the repository is used to construct the mirror repository location, which is currently assumed to be the name of the directory into which we are extracting. The snag is merging a working copy from a mirror, if we change the repository name to be based on "directory" name in the source string, because the source string will be a local path rather than a repository location.
Available test suite: u-dx033 (UKESM)