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@xxxxxxxxxxxxxx GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
