get repos real name

[gspeiliu]

Hi,

Could the git_clone return the repo folder real name?
There are some repos which names is not as the one shows in the link. Just as follow.
web link: https://github.com/cocos2d/cocos2d-x
The real repo name after downloaded: cocos2d-x-4
How can I get the real name properly.

Another one is when I git_clone twice continuously with the same repo link, the behaviour is not the same.
For example in python:
git_clone('https://github.com/alexanderGugel/ied')
git_clone('https://github.com/cocos2d/cocos2d-x')

The behaviours of the above repos link are not the same if I try to download them continuously twice at the same folder.

Thanks