Re: [PATCH] checkout -d: explicitly detach HEAD even when switching to the tip of a branch

   This allows you to detach your HEAD and place it at such a

       $ git checkout -d master

Hum, excuse my ignorance, but can you explain what exactly could
be a use case of this ?

Xavier