The text f972ae4b3411, as Debian 11 (Bullseye) shipped it.
rename local branch and push to remote
git-rename-branch(1) on Linux now
