rename jacoco badge user -> release-workflow

Author: thwbh

.github/workflows/ci.yml

@@ -64,7 +64,7 @@ jobs:
       run: |
         cd badges
         if [[ `git status --porcelain` ]]; then
-          git config --global user.name 'tohuwabohu-io'
+          git config --global user.name 'release-workflow'
           git config --global user.email '55439476@users.noreply.github.com'
           git add *.svg
           git commit -m "Autogenerated JaCoCo coverage badge"