How can I determine the URL that a repository was originally initialized from android repo tool with repo init -u <URL>?

Question

I have initialized repo using repo tool with command repo init -u . How can I determine the url later ? As that of any git repository we use below command, git config --get remote.origin.url Or git remote show origin

Answer 1

To get the URL corresponding to repo init -u <URL>

At the top of your workspace

$ cd .repo/manifests 
$ git remote -v

To get the branch corresponding to repo init -b <branch>

At the top of your workspace

$ cd .repo/manifests
$ git rev-parse --abbrev-ref --symbolic-full-name @{u}

mostly stolen from this answer.

To get the manifest name corresponding to repo init -m <manifest.xml>

See this answer.