]> git.99rst.org Git - git.git/commitdiff
Merge branch 'en/name-rev-make-taggerdate-much-less-important'
authorJunio C Hamano <redacted>
Wed, 22 Feb 2023 22:55:44 +0000 (14:55 -0800)
committerJunio C Hamano <redacted>
Wed, 22 Feb 2023 22:55:44 +0000 (14:55 -0800)
"git name-rev" heuristics update.

* en/name-rev-make-taggerdate-much-less-important:
  name-rev: fix names by dropping taggerdate workaround


Trivial merge
git clone https://git.99rst.org/PROJECT