Re: git question: how do I get a specific git version into my working directory?

[Dmitry Gutov]

On 04/18/2015 04:16 PM, Alan Mackenzie wrote:

> I'm aware of it, now!  Given that I'm not intending to do any VCS
> operation on this, other than "git checkout <revision number>", I should
> be all right, surely?  I'm expecting (?hoping) that on switching back to
> the HEAD revision, the detached head (?all detached heads) will vanish.

You'll have to switch back to a specific branch. Switching to HEAD is a 
no-op.