The text 8a00697264cd, as Debian 12 (Bookworm) shipped it.
rename local branch and push to remote
git-rename-branch(1) on Linux now
