Bye, Git checkout!

Slides

What to replace git checkout with (git switch to change branches, git restore to restore files to a given state), including a comparison of git restore/git revert/git reset.