Re: [gentoo-user] Changing git upstream server

2019-12-15 Thread Peter Humphrey
On Sunday, 15 December 2019 10:10:38 GMT Franz Fellner wrote:
> You manage remote repositories with git remote.
> git remote set-url origin 
> should do it.

Champion! Thanks Franz.

-- 
Regards,
Peter.






Re: [gentoo-user] Changing git upstream server

2019-12-15 Thread Franz Fellner
You manage remote repositories with git remote.
git remote set-url origin 
should do it.

Am So., 15. Dez. 2019 um 12:07 Uhr schrieb J. Roeleveld :

> On 15 December 2019 11:02:16 CET, Peter Humphrey 
> wrote:
> >Hello list,
> >
> >Would someone remind me, please, of the git command I need to issue to
> >change
> >its upstream sync source? I'm debugging a local repo and I'd prefer not
> >to
> >keep removing the whole tree just to sync it again from a different
> >upstream
> >server.
>
> I don't know the command, but it is stored in ".git/config" inside the
> tree.
>
> --
> Joost
> --
> Sent from my Android device with K-9 Mail. Please excuse my brevity.
>
>


Re: [gentoo-user] Changing git upstream server

2019-12-15 Thread J. Roeleveld
On 15 December 2019 11:02:16 CET, Peter Humphrey  wrote:
>Hello list,
>
>Would someone remind me, please, of the git command I need to issue to
>change 
>its upstream sync source? I'm debugging a local repo and I'd prefer not
>to 
>keep removing the whole tree just to sync it again from a different
>upstream 
>server.

I don't know the command, but it is stored in ".git/config" inside the tree.

--
Joost
-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.