Re: [gentoo-user] Changing git upstream server
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
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
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.