From: Tom Browder Date: Fri, 10 Jul 2020 13:14:08 GMT Subject: Re: "git rm" could be safer and have a better help msg Message-ID: In-Reply-To: <878sfr1rdm.fsf@igel.home> On Fri, Jul 10, 2020 at 7:33 AM Andreas Schwab wrote: > > $ git rm -f --cached myfile # many thanks to @jast on IRC #git > Why do you need -f? 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. -Tom