When a file is locally modified (or checked-out) it would be nice to be able to have a context menu action to undo the changes (and the checkout). In git it's called "Discard Changes" for reference.