From: Markus Elfring <markus.elfring@web.de>
Date: Wed, 17 Mar 2010 17:00:31 GMT
Subject: Re: [PATCH] Clarification for the command "git checkout <branch>"
Message-ID: <4BA10AAF.9050907@web.de>
In-Reply-To: <32541b131003170944w7a0215frcace205f32d313bf@mail.gmail.com>

> This is done by updating HEAD to point at the given branch,

Is it supposed that Git users should know from other information sources 
already what the key word "HEAD" means?

Regards,
Markus