message: lestarch: printing git commit output in autodoc
diff: @@ -16,5 +16,5 @@ ${GITHUB_WORKSPACE}/docs/doxygen/generate_docs.bash
  git add -Af "${GITHUB_WORKSPACE}/docs"
  -git commit -m "Autodoc on $(date)" 1>/dev/null
  +git commit -m "Autodoc on $(date)"
  git push "${REMOTE}"
  