On the command line, if I want to replace a file that I deleted (with one from 'master'), I just do `git checkout`. However, I'm confused by the Magit interface for this: It seems to want the user to supply a different branch in order to proceed.
But shouldn't this be really easy - do just replace a deleted file with a fresh one from 'master' ? In either case, how to do that on Magit?
