次の次（ git 2.22 ? ) あたりで、　git switch ってコマンドができるみたいだな。
git checkout　とは似て非なるコマンドのようだ。