git: Alternative syntax for checking out remote branches.