David Rowley <dgrowleyml@gmail.com> writes:
> I think HEAD is commonly misused to mean master instead of the latest
> commit of the current branch. I see the buildfarm even does that.
> Thanks for getting that right in your blog post.
IIRC, HEAD *was* the technically correct term back when we were
using CVS. Old habits die hard.
regards, tom lane