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

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

[gentoo-user] Changing git upstream server

2019-12-15 Thread Peter Humphrey
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. -- Regards, Peter.