https://stackoverflow.com/a/57266005/1382695

Today I learned:

I had been using git checkout for both switching branch, creating branch, restoring files since 2009. I often thought that should be two commands for two purposes. So here they are: switch and restore.