Merge branch 'en/name-rev-make-taggerdate-much-less-important'

"git name-rev" heuristics update. * en/name-rev-make-taggerdate-much-less-important: name-rev: fix names by dropping taggerdate workaround