From: Tom Browder <tom.browder@gmail.com>
Date: Fri, 10 Jul 2020 16:31:35 GMT
Subject: Re: "git rm" could be safer and have a better help msg
Message-ID: <CAFMGiz_5Jop2nVXJuMOR7NT9gKEygueic1m5-yw8BrkDgZ-O3w@mail.gmail.com>
In-Reply-To: <874kqf1n65.fsf@igel.home>

On Fri, Jul 10, 2020 at 9:04 AM Andreas Schwab <schwab@linux-m68k.org> wrote:
> On Jul 10 2020, Tom Browder wrote:
> > If the existing file has been modified, with 'rm'  the '--cached'
> > option doesn't remove it from Git
> > unless one uses the '-f' option with it.
>
> It doesn't?  Worksforme.

Thanks, Andreas, that does indeed work. I must have done something
wrong, so I'll pay closer attention to what I'm doing.

Best regards,

-Tom