> > HEAD is a magic tag, but AIUI it means the HEAD of a branch.  MAIN is
the
> > branch that we're talking about, not HEAD.

> I stand corrected, but not withstanding that, can the same principle be
> applied?

What do I know?  I'll go with Serge's solution unless someone has a better
idea.

        --- Noel


---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to