Re: [gentoo-user] Emerge --sync source

2019-02-28 Thread Rich Freeman
On Thu, Feb 28, 2019 at 10:41 AM Peter Humphrey wrote: > > On Thursday, 28 February 2019 08:43:13 GMT Davyd McColl wrote: > > > Well, that's pretty-much how git works -- that local repo was still pointing > > to the old remote. Updating your repos.conf won't change that as the old > > remote is st

Re: [gentoo-user] Emerge --sync source

2019-02-28 Thread Peter Humphrey
On Thursday, 28 February 2019 08:43:13 GMT Davyd McColl wrote: > > On 2019/02/28 10:36:35, Peter Humphrey wrote: > > I have a little server box on my LAN, which I use as a git server. I'm > > having a bit of trouble with it pro tem so I decided to switch the git > > sync source on this box. > >

Re: [gentoo-user] Emerge --sync source

2019-02-28 Thread Nils Freydank
I filed a bug report https://bugs.gentoo.org/679040. Yes, currently you need to update your git config manually everytime you change your git remote.

Re: [gentoo-user] Emerge --sync source

2019-02-28 Thread Davyd McColl
On 2019/02/28 10:36:35, Peter Humphrey wrote: Hello list, I have a little server box on my LAN, which I use as a git server. I'm having a bit of trouble with it pro tem so I decided to switch the git sync source on this box. I removed the entry pointing to the local server in repos.conf/gentoo.c

[gentoo-user] Emerge --sync source

2019-02-28 Thread Peter Humphrey
Hello list, I have a little server box on my LAN, which I use as a git server. I'm having a bit of trouble with it pro tem so I decided to switch the git sync source on this box. I removed the entry pointing to the local server in repos.conf/gentoo.conf and put in 'sync-uri = https://github.co