ci - add workflow name to git commit

.github/workflows/manual-from-secrets.yaml

@@ -72,7 +72,7 @@ jobs:
       run: |
         git status
         git add docs/${{ steps.connection-check.outputs.rosver }}/*
-        git commit -m "Publish ${{ steps.connection-check.outputs.rosver }} ${{ steps.publish-to-docs.outputs.subpath }} to Web"
+        git commit -m "Publish ${{ steps.connection-check.outputs.rosver }} ${{ steps.publish-to-docs.outputs.subpath }} [${{ github.workflow }}]"
         git push origin main
 
     - name: Save Build Artifacts