[git] How can I retrieve the remote git address of a repo?