Re: [PATCH 0/2] git-gui: revert untracked files by deleting them
From: Jonathan Gilbert <hidden>
Date: 2019-10-30 17:16:30
From: Jonathan Gilbert <hidden>
Date: 2019-10-30 17:16:30
On Wed, Oct 30, 2019 at 4:09 AM Bert Wesarg bert.wesarg-at-googlemail.com |GitHub Public/Example Allow| [off-list ref] wrote:
in Git speak, that operation is called 'clean' (see 'git clean') why should we overload the 'revert' operation here?
It's less about overloading the 'revert' operation as overloading the UI action which is currently called "Revert". I think it would be a worse experience to have to activate a different option to remove unwanted files as to remove unwanted changes. Maybe the UI option could be renamed "Revert & Clean" or something? As a side note, `git clean untracked-file` won't do anything with a default configuration, you have to explicitly `-f` it. Not sure if that's relevant, but it does feel like a higher barrier to entry than `git revert`. Thanks, Jonathan Gilbert