tree 300efa4a8e232730a677a9337d591d12388eebaa
parent 0d1a1517835a10818f2d40d8780a268dbb5e20ce
author Junio C Hamano <gitster@pobox.com> 1436719101 -0700
committer Junio C Hamano <gitster@pobox.com> 1436719101 -0700

Revert "checkout: retire --ignore-other-worktrees in favor of --force"

This reverts commit 0d1a1517835a10818f2d40d8780a268dbb5e20ce.

When trying to switch to a different branch, that happens to be
checked out in another working tree, the user shouldn't have to
give up the other safety measures (like protecting the local changes
that overlap the difference between the branches) while defeating
the "no two checkouts of the same branch" safety.

Signed-off-by: Junio C Hamano <gitster@pobox.com>