You manage remote repositories with git remote. git remote set-url origin <git repo> should do it.
Am So., 15. Dez. 2019 um 12:07 Uhr schrieb J. Roeleveld <jo...@antarean.org >: > On 15 December 2019 11:02:16 CET, Peter Humphrey <pe...@prh.myzen.co.uk> > 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. > >
