Switch to bash shell for auto-commits

.github/workflows/continuous-integration.yml

@@ -181,11 +181,13 @@ jobs:
     - name: Display environment variable "github.event_name"
       run: echo "github.event_name=${{ github.event_name }}"
     - name: (GIT) Commit benchmark reports
+      shell: bash
       working-directory: ${{ env.CHART_DIR }}
       # Only run when a pull request gets merged or a commit is pushed to the main branch
       # git add parameters need to directly or indirectly match paths-ignore parameters above
       if: github.event_name == 'push'
       run: |
+        set -x # Show the commands being executed
         git config --global user.name '${{ env.CI_COMMIT_AUTHOR }}'
         git config --global user.email "[email protected]"
         git fetch origin