From: Andreas Schwab Date: Fri, 10 Jul 2020 12:33:41 GMT Subject: Re: "git rm" could be safer and have a better help msg Message-ID: <878sfr1rdm.fsf@igel.home> In-Reply-To: On Jul 10 2020, Tom Browder wrote: > I often need to remove a file from Git but leave it as is, changed or not. > The only safe way to do that as far as I know is: > > $ git rm -f --cached myfile # many thanks to @jast on IRC #git Why do you need -f? Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."