The text 225979ada84f, as Debian 9 (Stretch) shipped it.
rename local branch and push to remote
git-rename-branch(1) on Linux now
