Change the wording of `revert-file` commit #3161

I just found out that there’s a command called git restore and we should probably match its wording

I just found out that there’s a command called git restore and we should probably match its wording

I tried it out git restore is just a git-reset on a file and does not commit anything

Indeed. However given that restore is the right term for the operation, the Menu item should probably say Restore file and the commit Restore {filename}.

I think "changes" is implied when talking about git.

Should the feature be renamed to Restore file?

@fregante ?

Bump