> 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html