No matches were found for subject:"\[git\-users\] Re\: Meaning of 'HEAD' vs. branch master"