Ok this has always required a git checkout and then copy some files somewhere and then go back, but with July 2019 Git 2.3, you can now use –source in git restore to get a single file back. The place where this really comes in handy is that if you do a git pull request […]