* Joseph Myers: > On Thu, 12 Oct 2017, Florian Weimer wrote: > >> I'd propose to add the following tags: > > You mean annotated tags (as otherwise git describe will ignore them by > default)? Right, annotated tags.