change URL

From: Rakotomandimby Mihamina <mihamina@gulfsat.mg>
Date: Nov 27, 2009, 09:56 UTC
Message-ID: <4B0FA253.6060804@gulfsat.mg>

Hi all,
When I first cloned a project, I used the non fully qualified hostname
if the repo:
   $ git clone ssh://git/git/Mailaka

When pushing, it was OK:
   $ git push
   mihamina@git's password:
   Counting objects: 7, done.
   Compressing objects: 100% (4/4), done.
   Writing objects: 100% (4/4), 825 bytes, done.
   Total 4 (delta 3), reused 0 (delta 0)
   To ssh://git/git/Mailaka
      1e91a44..8af5c57  master -> master

Now, I am on a slow network, with a different search domain in resolv.conf.

What should I edit to make "git push" uses "git.rktmb.org" rather than "git.domainsearch-in-resolv.conf"?

-- 
       Architecte Informatique chez Blueline/Gulfsat:
    Administration Systeme, Recherche & Developpement
                                    +261 33 11 207 36