[PATCH] Make 'git checkout' a bit more forgiving when switching branches.