Update .github/workflows/docs.yml

Co-authored-by: Mosè Giordano <[email protected]>

.github/workflows/docs.yml

@@ -45,5 +45,5 @@ jobs:
           git add .
           git config user.name ${{github.actor}}
           git config user.email "${{github.actor_id}}+${{github.actor}}@users.noreply.github.com"
-          git commit -m "Update docs"
+          git commit -m "Update docs from ${{ github.sha }}"
           git push origin gh-pages