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
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 .
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.