Re: change URL

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