On 25.10.2013 18:20, Andrey Borzenkov wrote:
> git remote -v
phcoder@debian:20:01:34:~/grub2/git$ git remote -v
origin	phcoder@git.sv.gnu.org:/srv/git/grub.git (fetch)
origin	phcoder@git.sv.gnu.org:/srv/git/grub.git (push)