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)? -- Joseph S. Myers joseph@codesourcery.com