git-checkout: do not warn detaching HEAD when it is already detached.