RT @joseph_silber: git checkout has too many responsibilities. It’s used for both switching branches, and for restoring individual files…