The text 71e9a6fc6a2e, as Debian 12 (Bookworm) shipped it.
Rename a tag
git-rename-tag(1) on Linux now
