change URL

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

Hi,

Rakotomandimby Mihamina [off-list ref] wrote:

When I first cloned a project, I used the non fully qualified hostname
if the repo:
   $ git clone ssh://git/git/Mailaka
[...] 
What should I edit to make "git push" uses "git.rktmb.org" rather
than "git.domainsearch-in-resolv.conf"?

it's in .git/config, and it's rather easy to find there.

Jan

Jan Krüger venit, vidit, dixit 27.11.2009 12:22:

Hi,

Rakotomandimby Mihamina [off-list ref] wrote:

quoted

When I first cloned a project, I used the non fully qualified hostname
if the repo:
   $ git clone ssh://git/git/Mailaka
[...] 
What should I edit to make "git push" uses "git.rktmb.org" rather
than "git.domainsearch-in-resolv.conf"?

it's in .git/config, and it's rather easy to find there.

Jan

:)

git config remote.origin.url ssh://git.rktmb.org/git/Mailaka

Cheers,
Michael