https://bugs.kde.org/show_bug.cgi?id=414342

--- Comment #4 from fire f. <fire...@firemail.cc> ---
(In reply to Nate Graham from comment #1)
> If you don't want files in your git repo removed on disk, don't use git's
> remove operation.

my file was not even "in the git repo" proper, since no commit was yet made.

So the menu entry should change from "git remove" to "git destroy" to not let
anyone believe the file can be gotten back from the git repo necessarily.

-- 
You are receiving this mail because:
You are watching all bug changes.

Reply via email to