git-tag(1): we tag HEAD by default